Class  Description 

AbstractCredibilityComparer 
This class provides for auxiliary functions used to compare
formulas and proofs of formulas wrt.

CredibilityCategorizer 
This class implements a credibilitybased categorizer that works like
the classical categorizer but dismisses arguments where
the least credible agent which uttered a formula in that argument
is not as least as credible as the least credible agent which uttered
a formula of the parent argument.

CrMasBeliefSet<T extends Formula> 
This class represents belief sets for credibilitybased agents multiagent systems.

CrMasRevisionWrapper<T extends Formula> 
This class is a wrapper for a revision for formulas of type T that is
used to revise information objects.

InformationObject<T extends Formula> 
This class represents a formula annotated with the source of the formula.
