Operational characterization of extensions in some logics for default reasoning

DOI10.1016/0020-0255(95)00234-0MaRDI QIDQ1364501zbMATH OpenOpenAlexFDO

Authors Grigoris Antoniou

Publication date 4 February 1998

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(95)00234-0

zbMATH Keywords

nonmonotonic reasoningsemanticsknowledge representationdefault reasoningdefault logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Towards a classification of defaults logics
• Operational concepts of nonmonotonic logics. I: Default logic
• scientific article; zbMATH DE number 6958
• scientific article; zbMATH DE number 1500177
• Default logic and specification of nonmonotonic reasoning
• scientific article; zbMATH DE number 124281
• A correct logic programming computation of default logic extensions
• scientific article; zbMATH DE number 516983
• Stable and extension class theory for logic programs and default logics
• Modal Rules: Extending Defeasible Logic with Modal Operators

Cites work

• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• scientific article; zbMATH DE number 4104923 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 53085 (Why is no real title available?)
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 140394 (Why is no real title available?)
• scientific article; zbMATH DE number 1761422 (Why is no real title available?)
• A logic for default reasoning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Conditional entailment: bridging two approaches to default reasoning.
• Cumulative default logic: In defense of nonmonotonic inference rules
• Operational concepts of nonmonotonic logics. I: Default logic

Cited in

(12)

• Axiomatization of credulous reasoning in rational default logic
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• The anomalous extension problem in default reasoning
• Operational concepts of nonmonotonic logics. I: Default logic
• KI 2004: Advances in Artificial Intelligence
• On the dynamics of default reasoning
• A directly cautious theory of defeasible consequence for default logic via the notion of general extension
• Conservative extension concepts for nonmonotonic knowledge bases
• A comparative survey of default logic variants
• The role of default logic in knowledge representation
• On the relation between Reiter's default logic and its (major) variants
• scientific article; zbMATH DE number 823628 (Why is no real title available?)

This page was built for publication: Operational characterization of extensions in some logics for default reasoning

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