Modifier and Type | Class and Description |
---|---|
class |
CompleteReasoner<T extends Formula> |
class |
FlatABAReasoner<T extends Formula> |
class |
GeneralABAReasoner<T extends Formula> |
class |
IdealReasoner<T extends Formula> |
class |
PreferredReasoner<T extends Formula> |
class |
StableReasoner<T extends Formula> |
class |
WellFoundedReasoner<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.
|
class |
AbstractSatExtensionReasoner
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
class |
GrossiModgilRankingReasoner
This class implements the argument ranking approach of
[Grossi, Modgil.
|
class |
ProboReasoner
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.
|
class |
SatCompleteReasoner
Uses a SAT solver to determine complete extensions.
|
class |
SatStableReasoner
Uses a SAT solver to determine stable extensions.
|
class |
SimpleAdmissibleReasoner
This reasoner for Dung theories performs inference on the admissible extensions.
|
class |
SimpleCF2Reasoner
This reasoner for Dung theories performs inference on the CF2 extensions.
|
class |
SimpleCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleConflictFreeReasoner
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
class |
SimpleGroundedReasoner
This reasoner for Dung theories performs inference on the grounded extension.
|
class |
SimpleIdealReasoner
This reasoner for Dung theories performs inference on the ideal extension.
|
class |
SimplePreferredReasoner
This reasoner for Dung theories performs inference on the preferred extensions.
|
class |
SimpleSccCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleSemiStableReasoner
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
class |
SimpleStableReasoner
This reasoner for Dung theories performs inference on the stable extensions.
|
class |
SimpleStageReasoner
This reasoner for Dung theories performs inference on the stage extensions.
|
class |
StratifiedLabelingReasoner
This class implements a stratified labeling reasoner.
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilisticRankingReasoner
Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra; 2018].
|
Modifier and Type | Class and Description |
---|---|
class |
IssReasoner
This reasoner provides is an implementation of the "Iterative Successive Subsitution Algorithm"
from [Marco Correia and Jorge Cruz and João Leite.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractConditionalLogicReasoner
Abstract ancestor for all reasoner for conditional logic.
|
class |
BruteForceCReasoner
This class models a brute force c-reasoner for conditional logic.
|
class |
CReasoner
This class models a c-reasoner for conditional logic.
|
class |
RuleBasedCReasoner
This is a reasoner using c-representation and rules to solve these c-representations.
|
class |
ZReasoner
This class models a z-reasoner for conditional logic.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractPclReasoner
Abstract class for all PCL reasoners.
|
class |
DefaultMeReasoner
This class implements a maximum entropy reasoner for probabilistic
conditional logic.
|
class |
GeneralizedMeReasoner
This class implements a generalized maximum entropy reasoner for probabilistic
conditional logic as proposed in [Potyka, Thimm, 2014] which also works for
inconsistent belief sets.
|
Modifier and Type | Class and Description |
---|---|
class |
RelationalBruteForceCReasoner
This class models a relational brute force c-reasoner for relational conditional logic.
|
Modifier and Type | Class and Description |
---|---|
class |
NaiveDefaultReasoner
Implements a naive reasoner for default logic based on exhaustive
application of defaults in process trees.
|
Modifier and Type | Class and Description |
---|---|
class |
RpclMeReasoner
General ME-reasoner for RPCL.
|