An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic |
scientific article; zbMATH DE number 65281
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic |
scientific article; zbMATH DE number 65281 |
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
