Uses of Package
net.sf.tweety.logics.fol.writer
-
Packages that use net.sf.tweety.logics.fol.writer Package Description net.sf.tweety.logics.fol.writer -
Classes in net.sf.tweety.logics.fol.writer used by net.sf.tweety.logics.fol.writer Class Description FolWriter Prints out single first-order logic formulas and full knowledge bases.