Operational characterization of extensions in some logics for default reasoning

DOI10.1016/0020-0255(95)00234-0zbMATH Open0882.68135OpenAlexW2038030581MaRDI QIDQ1364501FDOQ1364501

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

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
• 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

zbMATH Keywords

nonmonotonic reasoningsemanticsknowledge representationdefault reasoningdefault logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional entailment: bridging two approaches to default reasoning.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cumulative default logic: In defense of nonmonotonic inference rules
• Operational concepts of nonmonotonic logics. I: Default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• 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
• Title not available (Why is that?)
• Axiomatization of credulous reasoning in rational default logic

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)