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

Class Summary

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