A theory of nonmonotonic inheritance based on annotated logic

DOI10.1016/0004-3702(93)90033-8zbMath0778.68080OpenAlexW2074510157MaRDI QIDQ685338

Krishnaprasad Thirunarayan, Michael Kifer

Publication date: 9 January 1994

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(93)90033-8

zbMATH Keywords

networks with nonmonotonic multiple inheritance

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items

On the equivalence of upward and downward inheritance reasoners, Dynamic reasoning with qualified syllogisms, On the relationship between annotated logic programs and nonmonotonic formalisms, Policy-based inconsistency management in relational databases

Cites Work

• Locality in inheritance networks
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• Default reasoning in semantic networks: A formalization of recognition and inheritance
• Paraconsistent logic programming
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Bilattices and the semantics of logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item