Package net.sf.tweety.logics.rdl.reasoner
-
Class Summary Class Description SimpleDefaultReasoner Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.
| Class | Description |
|---|---|
| SimpleDefaultReasoner |
Implements a naive reasoner for default logic based on exhaustive
application of defaults in process trees.
|