Uses of Interface
org.tweetyproject.commons.ModelProvider

Packages that use ModelProvider

Package	Description
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.arg.social.reasoner
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.rcl.reasoner
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.logics.rpcl.reasoner
org.tweetyproject.lp.asp.reasoner

Uses of ModelProvider in org.tweetyproject.arg.aba.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner

Classes in org.tweetyproject.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	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	SimpleEagerReasoner	simple reasoner for eager semantics
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	SimpleNaiveReasoner	Reasoner for naive extensions.
class	SimplePreferredReasoner	This reasoner for Dung theories performs inference on the preferred extensions.
class	SimpleResolutionBasedReasoner	This reasoner for Dung theories performs inference on the resolution-based family of semantics.
class	SimpleSccCompleteReasoner	This reasoner for Dung theories performs inference on the complete extensions.
class	SimpleSccRecursiveReasoner	Universal scc-recursive reasoner initialize with any reasoner for a scc-recursive semantics
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	SolidAdmissibleReasoner	Reasoner for solid admissibility a set of arguments E solid-defends an argument a, iff for all attackers b of a it holds that all arguments c which attack b are in E see: Liu, X., and Chen, W.
class	Stage2Reasoner	Reasoner for Stage2 semantics using scc-recursiveness definition see: Dvorak, Gaggl: Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics 2012
class	StratifiedLabelingReasoner	This class implements a stratified labeling reasoner.
class	StronglyAdmissibleReasoner	Reasoner for strong admissibility A set of arguments E is strongly admissible iff all every argument A in E is defended by some argument B in E \ {A} i.e.
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.
class	WeaklyCompleteReasoner	Reasoner for weakly complete semantics as described in: see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
class	WeaklyGroundedReasoner	Reasoner for weakly grounded semantics a set of arguments E is w-grounded iff it is w-complete and minimal Note: unlike the grounded extension which is unique, there can be more than one w-grounded extension see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
class	WeaklyPreferredReasoner	Reasoner for weakly preferred semantics see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.

Uses of ModelProvider in org.tweetyproject.arg.rankings.reasoner

Classes in org.tweetyproject.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	CounterTransitivityReasoner	This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].
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	ProbabilisticRankingReasoner	Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra.
class	PropagationRankingReasoner	This class implements the argument ranking approach of [Delobelle.
class	SAFRankingReasoner	This class implements the social abstract argumentation approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.
class	StrategyBasedRankingReasoner	This class implements the argument ranking approach of [Matt, Toni.
class	TuplesRankingReasoner	This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.

Uses of ModelProvider in org.tweetyproject.arg.setaf.reasoners

Classes in org.tweetyproject.arg.setaf.reasoners that implement ModelProvider

Modifier and Type	Class	Description
class	AbstractExtensionSetAfReasoner	Ancestor class for all SetAf-extension-based reasoners.
class	SimpleAdmissibleSetAfReasoner	This reasoner for SetAf theories performs inference on the admissible extensions.
class	SimpleCompleteSetAfReasoner	This reasoner for SetAf theories performs inference on the complete extensions.
class	SimpleConflictFreeSetAfReasoner	This reasoner for SetAf theories performs inference on the conflict-free extensions.
class	SimpleEagerSetAfReasoner	simple reasoner for eager semantics
class	SimpleGroundedSetAfReasoner	This reasoner for SetAf theories performs inference on the grounded extension.
class	SimpleIdealSetAfReasoner	This reasoner for setAf theories performs inference on the ideal extension.
class	SimpleNaiveSetAfReasoner	Reasoner for naive extensions.
class	SimplePreferredSetAfReasoner	This reasoner for setaf theories performs inference on the preferred extensions.
class	SimpleSemiStableSetAfReasoner	This reasoner for setaf theories performs inference on the semi-stable extensions.
class	SimpleStableSetAfReasoner	This reasoner for setaf theories performs inference on the stable extensions.
class	SimpleStageSetAfReasoner	This reasoner for setaf theories performs inference on the stage extensions.

Uses of ModelProvider in org.tweetyproject.arg.social.reasoner

Classes in org.tweetyproject.arg.social.reasoner that implement ModelProvider

Modifier and Type	Class	Description
class	IssReasoner	This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.

Uses of ModelProvider in org.tweetyproject.logics.cl.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.logics.pcl.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.logics.rcl.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.logics.rdl.reasoner

Classes in org.tweetyproject.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 org.tweetyproject.logics.rpcl.reasoner

Classes in org.tweetyproject.logics.rpcl.reasoner that implement ModelProvider

Modifier and Type	Class	Description
class	RpclMeReasoner	General ME-reasoner for RPCL.

Uses of ModelProvider in org.tweetyproject.lp.asp.reasoner

Classes in org.tweetyproject.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.