| AbstractAcceptabilityReasoner |
Ancestor class for reasoners that are tailored towards computing the
set {a | a is credulously/skeptically accepted wrt.
|
| AbstractDungReasoner |
Ancestor class for all AAF reasoners.
|
| AbstractExtensionReasoner |
Ancestor class for all extension-based reasoners.
|
| AbstractSatExtensionReasoner |
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
| EeeAcceptabilityReasoner |
Implements the EEE approach ("exhaustively enumerate extensions") to
determine the set of acceptable arguments of an AF, cf.
|
| IaqAcceptabilityReasoner |
Implements the IAQ approach ("iterative acceptability queries") to
determine the set of acceptable arguments of an AF, cf.
|
| OrderingSemanticsReasoner |
Reasoner for ordering semantics
|
| ProboReasoner |
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.
|
| QualifiedReasoner |
Reasoner for qualified sigma-semantics.
|
| SatCompleteReasoner |
Uses a SAT solver to determine complete extensions.
|
| SatStableReasoner |
Uses a SAT solver to determine stable extensions.
|
| SccCF2Reasoner |
Reasoner for CF2 extensions using scc-recursiveness.
|
| SCF2Reasoner |
Reasoner for SCF2 extensions using scc-recursiveness.
|
| SCOOCNaiveReasoner |
reasoner for SCOOC-naive semantics.
|
| SeeAcceptabilityReasoner |
Implements the SEE approach ("selective extension enumeration") to
determine the set of credulously acceptable arguments of an AF
wrt.
|
| SeemAcceptabilityReasoner |
Implements the SEEM approach ("selective extension enumeration with MaxSAT") to
determine the set of credulously acceptable arguments of an AF
wrt.
|
| SemiQualifiedReasoner |
Reasoner for semi-qualified sigma-semantics.
|
| SimpleAdmissibleReasoner |
This reasoner for Dung theories performs inference on the admissible extensions.
|
| SimpleCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
| SimpleConflictFreeReasoner |
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
| SimpleGroundedReasoner |
This reasoner for Dung theories performs inference on the grounded extension.
|
| SimpleIdealReasoner |
This reasoner for Dung theories performs inference on the ideal extension.
|
| SimpleNaiveReasoner |
Reasoner for naive extensions.
|
| SimplePreferredReasoner |
This reasoner for Dung theories performs inference on the preferred extensions.
|
| SimpleSccCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
| SimpleSemiStableReasoner |
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
| SimpleStableReasoner |
This reasoner for Dung theories performs inference on the stable extensions.
|
| SimpleStageReasoner |
This reasoner for Dung theories performs inference on the stage extensions.
|
| Stage2Reasoner |
Reasoner for Stage2 semantics using scc-recursiveness
definition see:
Dvorak, Gaggl: Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics 2012
|
| StratifiedLabelingReasoner |
This class implements a stratified labeling reasoner.
|
| WeaklyAdmissibleReasoner |
Reasoner for weak admissibility
the reasoner reduces the number of sets we have to check by computing candidate sets instead of checking all sets.
|