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

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