A theory of nonmonotonic inheritance based on annotated logic

DOI10.1016/0004-3702(93)90033-8zbMATH Open0778.68080OpenAlexW2074510157MaRDI QIDQ685338FDOQ685338

Authors: 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

Recommendations

• Publication:3200591
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Publication:3198883
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• On the semantics of inheritance networks

zbMATH Keywords

networks with nonmonotonic multiple inheritance

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Cites Work

• Paraconsistent logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bilattices and the semantics of logic programming
• Title not available (Why is that?)
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A skeptical theory of inheritance in nonmonotonic semantic networks
• A logical framework for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Default reasoning in semantic networks: A formalization of recognition and inheritance
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Locality in inheritance networks

Cited In (9)

• Nonmonotonic inheritance in object-oriented deductive database languages
• Title not available (Why is that?)
• Dynamic reasoning with qualified syllogisms
• Title not available (Why is that?)
• On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
• On the equivalence of upward and downward inheritance reasoners
• On the relationship between annotated logic programs and nonmonotonic formalisms
• Title not available (Why is that?)
• Policy-based inconsistency management in relational databases

This page was built for publication: A theory of nonmonotonic inheritance based on annotated logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685338)