| ArguingAgent | This class represent a general arguing agent with an belief state. | 
| BeliefState | This abstract class encapsulates the common characteristics of 
 a belief state for arguing agents. | 
| DeductiveEnvironment | This class models the environment for agents in a game of deductive
 argumentation. | 
| GroundedGameProtocol | This class implements a round robin protocol for the grounded game. | 
| GroundedGameSystem | This multi-agent system models a grounded dialogue game between
 two agents. | 
| GroundedGameUtilityFunction | The grounded game utility function u_a^g. | 
| RecognitionFunction | This class realizes a recognition function as explained in
 [Rienstra, Thimm, in preparation]. | 
| T1BeliefState | This belief state consists of a simple recursive opponent model. | 
| T2BeliefState | This belief state consists of a probability distribution over 
 other opponent models. | 
| T3BeliefState | This belief state consists of a probability distribution over 
 other opponent models with virtual arguments. | 
| UtilityFunction<S,T extends java.util.Collection<S>> | Objects of this class represent utility function that assess
 dialogue traces. |