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