An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic |
scientific article |
Statements
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (English)
0 references
27 September 1992
0 references
IS-A link
0 references
inheritance
0 references
non-monotonic logic
0 references
proof theory
0 references
semantics for non-monotonic logic
0 references
