Uses of Class
org.tweetyproject.commons.InterpretationSet

Packages that use InterpretationSet

Package	Description
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.lp.asp.semantics

Uses of InterpretationSet in org.tweetyproject.logics.dl.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.dl.semantics

Modifier and Type	Class	Description
class	DlInterpretation	This class models an interpretation for description logics.

Uses of InterpretationSet in org.tweetyproject.logics.fol.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.fol.semantics

Modifier and Type	Class	Description
class	HerbrandInterpretation	A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.

Uses of InterpretationSet in org.tweetyproject.logics.ml.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.ml.semantics

Modifier and Type	Class	Description
class	MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.

Uses of InterpretationSet in org.tweetyproject.logics.pl.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.pl.semantics

Modifier and Type	Class	Description
class	NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
class	PossibleWorld	This class represents a possible world of propositional logic, i.e.

Uses of InterpretationSet in org.tweetyproject.logics.qbf.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.qbf.semantics

Modifier and Type	Class	Description
class	QbPossibleWorld	This class represents a possible world of quantified boolean logic, i.e.

Uses of InterpretationSet in org.tweetyproject.lp.asp.semantics

Subclasses of InterpretationSet in org.tweetyproject.lp.asp.semantics

Modifier and Type	Class	Description
class	AnswerSet	An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.