Uses of Interface
net.sf.tweety.commons.QualitativeReasoner

Packages that use QualitativeReasoner

Package	Description
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.lp.reasoner
net.sf.tweety.arg.saf.reasoner
net.sf.tweety.logics.cl.reasoner
net.sf.tweety.logics.fol.reasoner
net.sf.tweety.logics.ml.reasoner
net.sf.tweety.logics.pl.reasoner
net.sf.tweety.logics.rcl.reasoner
net.sf.tweety.logics.rdl.reasoner

Uses of QualitativeReasoner in net.sf.tweety.arg.aba.reasoner

Classes in net.sf.tweety.arg.aba.reasoner that implement QualitativeReasoner

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>

Uses of QualitativeReasoner in net.sf.tweety.arg.aspic.reasoner

Classes in net.sf.tweety.arg.aspic.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	AbstractAspicReasoner<T extends Invertable> The abstract ancestor of all Aspic reasoner implementations
class	ModuleBasedAspicReasoner<T extends Invertable> Slightly optimised reasoner for ASPIC.
class	NaiveAspicReasoner<T extends Invertable>
class	RandomAspicReasoner<T extends Invertable> This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.

Uses of QualitativeReasoner in net.sf.tweety.arg.dung.reasoner

Classes in net.sf.tweety.arg.dung.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	AbstractDungReasoner Ancestor class for all AAF reasoner.
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.

Uses of QualitativeReasoner in net.sf.tweety.arg.lp.reasoner

Classes in net.sf.tweety.arg.lp.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	ArgumentationReasoner This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.
class	LiteralReasoner This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p.

Uses of QualitativeReasoner in net.sf.tweety.arg.saf.reasoner

Classes in net.sf.tweety.arg.saf.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	OutputReasoner This class models an abstract reasoner for structured argumentation frameworks.

Uses of QualitativeReasoner in net.sf.tweety.logics.cl.reasoner

Classes in net.sf.tweety.logics.cl.reasoner that implement QualitativeReasoner

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.

Uses of QualitativeReasoner in net.sf.tweety.logics.fol.reasoner

Classes in net.sf.tweety.logics.fol.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	EFOLReasoner Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.
class	FolReasoner Abstract FOL Prover to be implemented by concrete solvers
class	NaiveFolReasoner Uses a naive brute force search procedure for theorem proving.
class	Prover9FolReasoner Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.
class	SpassFolReasoner Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

Uses of QualitativeReasoner in net.sf.tweety.logics.ml.reasoner

Classes in net.sf.tweety.logics.ml.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	AbstractModalReasoner Abstract modal reasoner to be implemented by concrete reasoners.
class	MleanCoPReasoner Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.
class	NaiveModalReasoner This class implements inference for modal logic using a brute-force approach.
class	SPASSModalReasoner Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

Uses of QualitativeReasoner in net.sf.tweety.logics.pl.reasoner

Classes in net.sf.tweety.logics.pl.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	AbstractPropositionalLogicReasoner Abstract class for propositional logic reasoners.
class	NaiveReasoner Naive classical inference (checks all interpretations for satisfiability).
class	SatReasoner Uses the default SAT reasoner to perform reasoning in propositional logic

Uses of QualitativeReasoner in net.sf.tweety.logics.rcl.reasoner

Classes in net.sf.tweety.logics.rcl.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	RelationalBruteForceCReasoner This class models a relational brute force c-reasoner for relational conditional logic.

Uses of QualitativeReasoner in net.sf.tweety.logics.rdl.reasoner

Classes in net.sf.tweety.logics.rdl.reasoner that implement QualitativeReasoner

Modifier and Type	Class and Description
class	NaiveDefaultReasoner Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.