Uses of Class
org.tweetyproject.logics.fol.reasoner.FolReasoner
-
Packages that use FolReasoner Package Description org.tweetyproject.logics.fol.reasoner -
-
Uses of FolReasoner in org.tweetyproject.logics.fol.reasoner
Subclasses of FolReasoner in org.tweetyproject.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 org.tweetyproject.logics.fol.reasoner declared as FolReasoner Modifier and Type Field Description static FolReasoner
FolReasoner. defaultReasoner
Empty default reasonerMethods in org.tweetyproject.logics.fol.reasoner that return FolReasoner Modifier and Type Method Description static FolReasoner
FolReasoner. getDefaultReasoner()
Returns the default theorem proverMethods in org.tweetyproject.logics.fol.reasoner with parameters of type FolReasoner Modifier and Type Method Description static void
FolReasoner. setDefaultReasoner(FolReasoner reasoner)
Set default reasoner with given
-