Package net.sf.tweety.logics.ml.reasoner

Class Summary Class Description AbstractMlReasoner Abstract modal reasoner to be implemented by concrete reasoners.MleanCoPReasoner Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal firstorder logic based on the clausal connection calculus.SimpleMlReasoner This class implements inference for modal logic using a bruteforce approach.SPASSMlReasoner Invokes SPASS (http://www.mpiinf.mpg.de/departments/automationoflogic/software/spassworkbench/), an automated theorem prover for firstorder logic, modal logic and description logics.