| 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. 
 |