Uses of Package
org.tweetyproject.logics.fol.semantics

Packages that use org.tweetyproject.logics.fol.semantics

Package	Description
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.mln.reasoner
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
org.tweetyproject.logics.rpcl.semantics

Classes in org.tweetyproject.logics.fol.semantics used by org.tweetyproject.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 org.tweetyproject.logics.fol.semantics used by org.tweetyproject.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 org.tweetyproject.logics.fol.semantics used by org.tweetyproject.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 org.tweetyproject.logics.fol.semantics used by org.tweetyproject.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 org.tweetyproject.logics.fol.semantics used by org.tweetyproject.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.