Uses of Interface
net.sf.tweety.commons.ModelProvider
-
-
-
Uses of ModelProvider in net.sf.tweety.arg.aba.reasoner
Classes in net.sf.tweety.arg.aba.reasoner that implement ModelProvider Modifier and Type Class Description class
CompleteReasoner<T extends Formula>
This reasoner for ABA theories performs inference on the complete extensions.class
FlatAbaReasoner<T extends Formula>
This class models a reasoner over ABA formulae.class
GeneralAbaReasoner<T extends Formula>
This is an abstract generalization over non-flat ABA reasoners.class
IdealReasoner<T extends Formula>
This reasoner for ABA theories performs inference on the ideal extension.class
PreferredReasoner<T extends Formula>
This reasoner for ABA theories performs inference on the preferred extensions.class
StableReasoner<T extends Formula>
This reasoner for ABA theories performs inference on the stable extensions.class
WellFoundedReasoner<T extends Formula>
This reasoner for ABA theories performs inference on the ideal extension. -
Uses of ModelProvider in net.sf.tweety.arg.dung.reasoner
Classes in net.sf.tweety.arg.dung.reasoner that implement ModelProvider Modifier and Type Class Description class
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.class
AbstractSatExtensionReasoner
Uses a provided SAT solver to solve reasoning problems in AAFs.class
NaiveReasoner
Reasoner for naive extensions.class
ProboReasoner
This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.class
QualifiedReasoner
Reasoner for qualified sigma-semantics.class
SatCompleteReasoner
Uses a SAT solver to determine complete extensions.class
SatStableReasoner
Uses a SAT solver to determine stable extensions.class
SccCF2Reasoner
Reasoner for CF2 extensions using scc-recursiveness.class
SCF2Reasoner
Reasoner for SCF2 extensions using scc-recursiveness.class
SCOOCNaiveReasoner
reasoner for SCOOC-naive semantics.class
SemiQualifiedReasoner
Reasoner for semi-qualified sigma-semantics.class
SimpleAdmissibleReasoner
This reasoner for Dung theories performs inference on the admissible 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
Stage2Reasoner
Reasoner for Stage2 semantics using scc-recursiveness definition see: Dvorak, Gaggl: Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics 2012class
StratifiedLabelingReasoner
This class implements a stratified labeling reasoner.class
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. -
Uses of ModelProvider in net.sf.tweety.arg.rankings.reasoner
Classes in net.sf.tweety.arg.rankings.reasoner that implement ModelProvider Modifier and Type Class Description class
AbstractRankingReasoner<R extends ArgumentRanking>
Common abstract class for ranking reasoners for abstract argumentation.class
BurdenBasedRankingReasoner
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
CategorizerRankingReasoner
This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.class
CountingRankingReasoner
This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.class
DiscussionBasedRankingReasoner
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
IteratedGradedDefenseReasoner
This class implements the argument ranking approach of [Grossi, Modgil.class
MTRankingReasoner
This class implements the argument ranking approach of [Matt, Toni.class
ProbabilisticRankingReasoner
Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra; 2018].class
PropagationRankingReasoner
This class implements the argument ranking approach of [Delobelle.class
SAFRankingReasoner
This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.class
TuplesRankingReasoner
This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex. -
Uses of ModelProvider in net.sf.tweety.arg.social.reasoner
Classes in net.sf.tweety.arg.social.reasoner that implement ModelProvider Modifier and Type Class 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. -
Uses of ModelProvider in net.sf.tweety.logics.cl.reasoner
Classes in net.sf.tweety.logics.cl.reasoner that implement ModelProvider Modifier and Type Class Description class
AbstractConditionalLogicReasoner
Abstract ancestor for all 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
SimpleCReasoner
This class models a brute force c-reasoner for conditional logic.class
ZReasoner
This class models a z-reasoner for conditional logic. -
Uses of ModelProvider in net.sf.tweety.logics.pcl.reasoner
Classes in net.sf.tweety.logics.pcl.reasoner that implement ModelProvider Modifier and Type Class 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. -
Uses of ModelProvider in net.sf.tweety.logics.rcl.reasoner
Classes in net.sf.tweety.logics.rcl.reasoner that implement ModelProvider Modifier and Type Class Description class
SimpleRelationalCReasoner
This class models a relational brute force c-reasoner for relational conditional logic. -
Uses of ModelProvider in net.sf.tweety.logics.rdl.reasoner
Classes in net.sf.tweety.logics.rdl.reasoner that implement ModelProvider Modifier and Type Class Description class
SimpleDefaultReasoner
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees. -
Uses of ModelProvider in net.sf.tweety.logics.rpcl.reasoner
Classes in net.sf.tweety.logics.rpcl.reasoner that implement ModelProvider Modifier and Type Class Description class
RpclMeReasoner
General ME-reasoner for RPCL. -
Uses of ModelProvider in net.sf.tweety.lp.asp.reasoner
Classes in net.sf.tweety.lp.asp.reasoner that implement ModelProvider Modifier and Type Class Description class
ASPSolver
This class provides a common interface for asp solvers.class
ClingoSolver
Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.class
DLVSolver
Wrapper class for the DLV answer set solver command line utility.
-