Compiling specificity into approaches to nonmonotonic reasoning

DOI10.1016/S0004-3702(96)00045-8zbMath1017.03512OpenAlexW2044503422MaRDI QIDQ1402752

James P. Delgrande, Torsten Schaub

Publication date: 28 August 2003

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(96)00045-8

zbMATH Keywords

Knowledge representationDefault logicCircumscriptionSpecificity

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

Handling Exceptions in Logic Programming without Negation as Failure ⋮ An argument-based approach to reasoning with specificity ⋮ Dealing Automatically with Exceptions by Introducing Specificity in ASP ⋮ Alternative foundations for Reiter's default logic

Cites Work

• Conditional entailment: bridging two approaches to default reasoning.
• Semantical considerations on nonmonotonic logic
• An approach to default reasoning based on a first-order conditional logic: Revised report
• On the relation between default and autoepistemic logic
• A logical framework for default reasoning
• A first-order conditional logic for prototypical properties
• A circumscriptive theorem prover
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• The logic of conditionals. An application of probability to deductive logic
• Alternative approaches to default logic
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compiling specificity into approaches to nonmonotonic reasoning