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 logic
class	SimplePlReasoner	Naive classical inference (checks all interpretations for satisfiability).