Package net.sf.tweety.logics.pl.reasoner

Class Summary

Class	Description
AbstractPlReasoner	Abstract class for propositional logic reasoners.
SatReasoner	Uses the default SAT reasoner to perform reasoning in propositional logic
SimplePlReasoner	Naive classical inference (checks all interpretations for satisfiability).