Package net.sf.tweety.logics.fol

Class Summary

Class	Description
ClassicalInference	This class implements the classical inference operator.
FolBeliefSet	This class models a first-order knowledge base, i.e.