| Class and Description |
|---|
| DefaultRule
Models a default rule in Reiter's default logic, see [R.
|
| Class and Description |
|---|
| DefaultTheory
Models a default theory in Reiter's default logic, see [R.
|
| Class and Description |
|---|
| DefaultTheory
Models a default theory in Reiter's default logic, see [R.
|
| Class and 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 and 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.
|