The present model is an abstract ABM designed for theoretical exploration and hypotheses generation. Its main aim is to explore the relationship between disagreement over the diagnostic value of evidence and the formation of polarization in scientific communities.
The model represents a scientific community in which scientists aim to determine whether hypothesis H is true, and we assume that agents are in a world in which H is indeed true. To this end, scientists perform experiments, interpret data and exchange their views on how diagnostic of H the obtained evidence is. Based on how the scientists conduct the inquiry, the community may reach a correct consensus (i.e. a situation in which every scientist agrees that H is correct) or not.

The simulation generates two kinds of agents, whose proposals are generated accordingly to their selfish or selfless behaviour. Then, agents compete in order to increase their portfolio playing the ultimatum game with a random-stranger matching.

The model examines cattle herd dynamics on a patchy grassland subject to two exogenous pressures: periodic raiding events that remove animals and scheduled management culling that can target males and/or females. It is intended for comparative experiments on how raiding frequency, culling schedules, vegetation dynamics, and life-history parameters interact to shape herd persistence. The model was specifically designed to test the scenario of cattle herding in the arid grasslands of southern Arizona and northern Sonora during the mission period (late 17th through late 18th centuries, CE). In this period, herds were locally managed by Spanish mission personnel and local O’odham groups. Herds were culled mostly for local consumption of meat, hides, and tallow, but the mission herds were often targets for raiding by neighboring groups. The main purpose of the model is to examine herd dynamics in a seasonally variable, arid environment where herds are subject to both intentional internal harvest (culling) and external harvest (raiding).

InformalCity, a spatially explicit agent-based model, simulates an artificial city and allows for testing configurations of urban upgrading schemes in informal settlements.

This NetLogo ABM builds on Elena Vallino’s model of Loggers using community-based natural resource management for a forest ecosystem. In it we introduce an alternative mechanism for Logger cheating and enforcement of CBNRM rules.

Software for an agent-based game-theoretic model of the contact hypothesis of prejudice reduction, to accompany “Modeling Prejudice Reduction,” in the Handbook of Computational Social Psychology, adapted from Public Affairs Quarterly 19 (2) 2005.

Industrial clustering patterns are the result of an entrepreneurial process where spinoffs inherit the ideas and attributes of their parent firms. This computational model maps these patterns using abstract methodologies.

The Non-Deterministic model of affordable housing Negotiations (NoD-Neg) is designed for generating hypotheses about the possible outcomes of negotiating affordable housing obligations in new developments in England. By outcomes we mean, the probabilities of failing the negotiation and/or the different possibilities of agreement.
The model focuses on two negotiations which are key in the provision of affordable housing. The first is between a developer (DEV) who is submitting a planning application for approval and the relevant Local Planning Authority (LPA) who is responsible for reviewing the application and enforcing the affordable housing obligations. The second negotiation is between the developer and a Registered Social Landlord (RSL) who buys the affordable units from the developer and rents them out. They can negotiate the price of selling the affordable units to the RSL.
The model runs the two negotiations on the same development project several times to enable agents representing stakeholders to apply different negotiation tactics (different agendas and concession-making tactics), hence, explore the different possibilities of outcomes.
The model produces three types of outputs: (i) histograms showing the distribution of the negotiation outcomes in all the simulation runs and the probability of each outcome; (ii) a data file with the exact values shown in the histograms; and (iii) a conversation log detailing the exchange of messages between agents in each simulation run.

The MeReDiem model aims to simulate the effect of socio-agricultural practices of farmers and pastors on the food sustainability and soil fertility of a serrer village, in Senegal. The model is a central part of a companion modeling and exploration approach, described in a paper, currently under review)

The village population is composed of families (kitchens). Kitchens cultivate their land parcels to feed their members, aiming for food security at the family level. On a global level , the village tries to preserve the community fallow land as long as possible.

Kitchens sizes vary depending on the kitchens food production, births and migration when food is insufficient.
…

The simulation model conducts fine-grained population projection by specifying life course dynamics of individuals and couples by means of traditional demographic microsimulation and by using agent-based modeling for mate matching.