| Package | Description |
|---|---|
| net.sf.tweety.logics.ml | |
| net.sf.tweety.logics.ml.reasoner |
| Class and 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.
|
| SPASSModalReasoner
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.
|
| Class and Description |
|---|
| AbstractModalReasoner
Abstract modal reasoner to be implemented by concrete reasoners.
|