On the relationship between annotated logic programs and nonmonotonic formalisms (Q4864837)
From MaRDI portal
scientific article; zbMATH DE number 847017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the relationship between annotated logic programs and nonmonotonic formalisms |
scientific article; zbMATH DE number 847017 |
Statements
On the relationship between annotated logic programs and nonmonotonic formalisms (English)
0 references
27 June 1996
0 references
inheritance reasoning
0 references
Horn logic programs
0 references
