| Package | Description |
|---|---|
| net.sf.tweety.logics.rdl.reasoner | |
| net.sf.tweety.logics.rdl.semantics |
| Class and Description |
|---|
| Extension
An extension of a default theory, i.e.
|
| Class and Description |
|---|
| DefaultSequence
sequence of defaults
|
| Extension
An extension of a default theory, i.e.
|