On the equivalence of upward and downward inheritance reasoners

DOI10.1007/BF01534457zbMath0855.68104OpenAlexW2035126360MaRDI QIDQ1924737

Krishnaprasad Thirunarayan

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01534457

zbMATH Keywords

inheritance networks

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• Eiffel

Cites Work

• A theory of nonmonotonic inheritance based on annotated logic
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the equivalence of upward and downward inheritance reasoners