Package net.sf.tweety.logics.fol.reasoner

Class Summary

Class	Description
EFOLReasoner	Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.
FolReasoner	Abstract FOL Prover to be implemented by concrete solvers
Prover9FolReasoner	Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.
SimpleFolReasoner	Uses a naive brute force search procedure for theorem proving.
SpassFolReasoner	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.