An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
From MaRDI portal
Publication:1193840
DOI10.1016/0020-0255(92)90073-HzbMath0800.68843MaRDI QIDQ1193840
Jeffrey J.-P. Tsai, Thomas J. Weigert
Publication date: 27 September 1992
Published in: Information Sciences (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantical considerations on nonmonotonic logic
- Formalizing nonmonotonic reasoning systems
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic Logic II
- Contributions to the Theory of Logic Programming