Operational characterization of extensions in some logics for default reasoning

DOI10.1016/0020-0255(95)00234-0zbMath0882.68135OpenAlexW2038030581MaRDI QIDQ1364501

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

knowledge representationdefault logicsemanticsnonmonotonic reasoningdefault reasoning

Mathematics Subject Classification ID

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

Related Items (1)

A comparative survey of default logic variants

Cites Work

• Conditional entailment: bridging two approaches to default reasoning.
• A logic for 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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