Package net.sf.tweety.logics.rdl.semantics
-
Class Summary Class Description DefaultProcessTree Computes the extensions of a default theoryDefaultSequence sequence of defaultsExtension An extension of a default theory, i.e.
| Class | Description |
|---|---|
| DefaultProcessTree |
Computes the extensions of a default theory
|
| DefaultSequence |
sequence of defaults
|
| Extension |
An extension of a default theory, i.e.
|