Package org.tweetyproject.logics.fol.semantics

package org.tweetyproject.logics.fol.semantics

Classes

Class	Description
HerbrandBase	The Herbrand base is the set of all possible ground atoms of some given first-order logic.
HerbrandInterpretation	A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.