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