Package org.tweetyproject.logics.pl.reasoner

package org.tweetyproject.logics.pl.reasoner

Classes

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).