Uses of Class
org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
-
Uses of AbstractMlReasoner in org.tweetyproject.logics.ml.reasoner
Modifier and TypeClassDescriptionclass
Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.class
This class implements inference for modal logic using a brute-force approach.class
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.Modifier and TypeFieldDescriptionstatic AbstractMlReasoner
AbstractMlReasoner.defaultReasoner
Empty default proverModifier and TypeMethodDescriptionstatic AbstractMlReasoner
AbstractMlReasoner.getDefaultReasoner()
Returns the default reasoner for modal logicModifier and TypeMethodDescriptionstatic void
AbstractMlReasoner.setDefaultReasoner(AbstractMlReasoner reasoner)
Set default modal reasoner with given