Class IssReasoner

All Implemented Interfaces:
ModelProvider<Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>, QuantitativeReasoner<SocialAbstractArgumentationFramework,Argument>, Reasoner<Double,SocialAbstractArgumentationFramework,Argument>

This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite. On the Efficient Implementation of Social Abstract Argumentation. ECAI2014] for determining a model of a social abstract argumentation framework according to the simple product semantics.
Matthias Thimm