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

Class Summary

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