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