Uses of Class
net.sf.tweety.commons.InterpretationSet
-
-
Uses of InterpretationSet in net.sf.tweety.logics.dl.semantics
Subclasses of InterpretationSet in net.sf.tweety.logics.dl.semantics Modifier and Type Class Description class
DlInterpretation
This class models an interpretation for description logics. -
Uses of InterpretationSet in net.sf.tweety.logics.fol.semantics
Subclasses of InterpretationSet in net.sf.tweety.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 net.sf.tweety.logics.ml.semantics
Subclasses of InterpretationSet in net.sf.tweety.logics.ml.semantics Modifier and Type Class Description class
MlHerbrandInterpretation
Modified version of HerbrandInterpretation that allows for modal formulas. -
Uses of InterpretationSet in net.sf.tweety.logics.pl.semantics
Subclasses of InterpretationSet in net.sf.tweety.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 net.sf.tweety.logics.qbf.semantics
Subclasses of InterpretationSet in net.sf.tweety.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 net.sf.tweety.lp.asp.semantics
Subclasses of InterpretationSet in net.sf.tweety.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.
-