net.sf.tweety.logics.pl

Classes

• ClassicalEntailment
• ClassicalInference
• NaiveReasoner
• PlBeliefSet
• SatReasoner