A theory of nonmonotonic inheritance based on annotated logic

DOI10.1016/0004-3702(93)90033-8MaRDI QIDQ685338zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

networks with nonmonotonic multiple inheritance

Mathematics Subject Classification ID

Artificial intelligence (68T99)

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

Cites work

• scientific article; zbMATH DE number 4174348 (Why is no real title available?)
• scientific article; zbMATH DE number 4174352 (Why is no real title available?)
• scientific article; zbMATH DE number 4176492 (Why is no real title available?)
• scientific article; zbMATH DE number 4176500 (Why is no real title available?)
• scientific article; zbMATH DE number 4176506 (Why is no real title available?)
• scientific article; zbMATH DE number 4176507 (Why is no real title available?)
• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4026795 (Why is no real title available?)
• scientific article; zbMATH DE number 4064538 (Why is no real title available?)
• scientific article; zbMATH DE number 4104926 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• A logical framework for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Bilattices and the semantics of logic programming
• Default reasoning in semantic networks: A formalization of recognition and inheritance
• Locality in inheritance networks
• Paraconsistent logic programming

Cited in

(9)

• Policy-based inconsistency management in relational databases
• scientific article; zbMATH DE number 4104926 (Why is no real title available?)
• On the relationship between annotated logic programs and nonmonotonic formalisms
• Nonmonotonic inheritance in object-oriented deductive database languages
• scientific article; zbMATH DE number 786492 (Why is no real title available?)
• Dynamic reasoning with qualified syllogisms
• On the equivalence of upward and downward inheritance reasoners
• scientific article; zbMATH DE number 4174348 (Why is no real title available?)
• On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies

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)