Uses of Class
net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
-
Packages that use AbstractPlReasoner Package Description net.sf.tweety.logics.pl.reasoner -
-
Uses of AbstractPlReasoner in net.sf.tweety.logics.pl.reasoner
Subclasses of AbstractPlReasoner in net.sf.tweety.logics.pl.reasoner Modifier and Type Class Description class
SatReasoner
Uses the default SAT reasoner to perform reasoning in propositional logicclass
SimplePlReasoner
Naive classical inference (checks all interpretations for satisfiability).
-