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

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for default reasoning
• 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
• A new methodology for query answering in default logics via structure-oriented theorem proving

Cited In (8)

• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• Operational concepts of nonmonotonic logics. I: Default logic
• 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
• Title not available (Why is that?)

   Recommendations

• Towards a classification of defaults logics 👍 👎
• Operational concepts of nonmonotonic logics. I: Default logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Default logic and specification of nonmonotonic reasoning 👍 👎
• Title not available (Why is that?) 👍 👎
• A correct logic programming computation of default logic extensions 👍 👎
• Title not available (Why is that?) 👍 👎
• Stable and extension class theory for logic programs and default logics 👍 👎
• Modal Rules: Extending Defeasible Logic with Modal Operators 👍 👎

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)