Package net.sf.tweety.logics.rdl.syntax
-
Class Summary Class Description DefaultRule Models a default rule in Reiter's default logic, see [R.DefaultTheory Models a default theory in Reiter's default logic, see [R.
| Class | Description |
|---|---|
| DefaultRule |
Models a default rule in Reiter's default logic, see [R.
|
| DefaultTheory |
Models a default theory in Reiter's default logic, see [R.
|