net.sf.tweety.logics.fol
Classes
ClassicalInference
FolBeliefSet