Relating minimal models and pre-requisite-free normal defaults (Q1205716)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating minimal models and pre-requisite-free normal defaults |
scientific article |
Statements
Relating minimal models and pre-requisite-free normal defaults (English)
0 references
1 April 1993
0 references
non-Horn logic programs
0 references
negation
0 references
non-monotonic reasoning
0 references
default logic
0 references
