Uses of Package
net.sf.tweety.logics.ml.writer
-
Packages that use net.sf.tweety.logics.ml.writer Package Description net.sf.tweety.logics.ml -
Classes in net.sf.tweety.logics.ml.writer used by net.sf.tweety.logics.ml Class Description SPASSWriter This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.