Uses of Package
net.sf.tweety.logics.fol.semantics
-
-
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.fol.semantics Class Description HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation. -
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.ml.semantics Class Description HerbrandBase The Herbrand base is the set of all possible ground atoms of some given first-order logic. -
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.mln.reasoner Class Description HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation. -
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.rcl.semantics Class Description HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation. -
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser Class Description HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation. -
Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.rpcl.semantics Class Description HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.