Uses of Package
net.sf.tweety.logics.fol.semantics

Packages that use net.sf.tweety.logics.fol.semantics

Package	Description
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.mln.reasoner
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.semantics

Classes in net.sf.tweety.logics.fol.semantics used by net.sf.tweety.logics.fol.semantics

Class and 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 and 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 and 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 and 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 and 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 and Description
HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.