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