Uses of Class
net.sf.tweety.logics.fol.reasoner.FolReasoner
-
Packages that use FolReasoner Package Description net.sf.tweety.logics.fol.reasoner -
-
Uses of FolReasoner in net.sf.tweety.logics.fol.reasoner
Subclasses of FolReasoner in net.sf.tweety.logics.fol.reasoner Modifier and Type Class Description class
EFOLReasoner
Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.class
Prover9FolReasoner
Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.class
SimpleFolReasoner
Uses a naive brute force search procedure for theorem proving.class
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.Fields in net.sf.tweety.logics.fol.reasoner declared as FolReasoner Modifier and Type Field Description static FolReasoner
FolReasoner. defaultReasoner
Empty default reasonerMethods in net.sf.tweety.logics.fol.reasoner that return FolReasoner Modifier and Type Method Description static FolReasoner
FolReasoner. getDefaultReasoner()
Returns the default theorem proverMethods in net.sf.tweety.logics.fol.reasoner with parameters of type FolReasoner Modifier and Type Method Description static void
FolReasoner. setDefaultReasoner(FolReasoner reasoner)
Set default reasoner with given
-