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.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	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.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.