Uses of Package
net.sf.tweety.logics.ml.reasoner
-
Packages that use net.sf.tweety.logics.ml.reasoner Package Description net.sf.tweety.logics.ml net.sf.tweety.logics.ml.reasoner -
Classes in net.sf.tweety.logics.ml.reasoner used by net.sf.tweety.logics.ml Class Description MleanCoPReasoner Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.SPASSMlReasoner Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics. -
Classes in net.sf.tweety.logics.ml.reasoner used by net.sf.tweety.logics.ml.reasoner Class Description AbstractMlReasoner Abstract modal reasoner to be implemented by concrete reasoners.