Package | Description |
---|---|
net.sf.tweety.logics.pl.reasoner |
Modifier and Type | Class and Description |
---|---|
class |
NaiveReasoner
Naive classical inference (checks all interpretations for satisfiability).
|
class |
SatReasoner
Uses the default SAT reasoner to perform reasoning in propositional logic
|