Compiling specificity into approaches to nonmonotonic reasoning

DOI10.1016/S0004-3702(96)00045-8zbMATH Open1017.03512OpenAlexW2044503422MaRDI QIDQ1402752FDOQ1402752

James 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 representationCircumscriptionDefault logicSpecificity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Specificity Based Defuzzification in Approximate Reasoning
• Alternative foundations for Reiter's default logic
• Cumulativity Tailored for Nonmonotonic Reasoning
• An argument-based approach to reasoning with specificity
• Handling Exceptions in Logic Programming without Negation as Failure
• Dealing Automatically with Exceptions by Introducing Specificity in ASP

   Recommendations

• Title not available (Why is that?) 👍 👎
• Specification of nonmonotonic reasoning 👍 👎
• Specification of nonmonotonic reasoning 👍 👎
• Title not available (Why is that?) 👍 👎
• Nonmonotonic reasoning: Towards efficient calculi and implementations 👍 👎
• Title not available (Why is that?) 👍 👎
• An argument-based approach to reasoning with specificity 👍 👎
• Nonmonotonic reasoning: From complexity to algorithms 👍 👎
• Title not available (Why is that?) 👍 👎
• Formalizing nonmonotonic reasoning systems 👍 👎

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

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