GIB is a generator for a belief base with some implemented rules to check the consistency of the individual and mutual beliefs. It can be used in social simulations, which need a reference to the epistemic attitudes of the agents. The program was developed during my MA-Thesis and is written in PROLOG. If you are interested in the code, please contact me by em@il.
SoPra simulates a social practise based on a model developed by Wolfgang Balzer and Raimo Tuomela. According to initially generated intentions for the different agents, the agents communicate via a mailbox and choose a common wanted action to do. As an example for this simulation I used a women's group, in which I participate for several years. The example is flexible integrated, so it can easily be changed. SoPra is also written in PROLOG and integrated in SMASS.