Operational concepts of nonmonotonic logics. I: Default logic

DOI10.1007/BF00851348zbMath0820.68110DBLPjournals/air/AntoniouS94WikidataQ58198184 ScholiaQ58198184MaRDI QIDQ1333283

Grigoris Antoniou, Volker Sperschneider

Publication date: 27 August 1995

Published in: Artificial Intelligence Review (Search for Journal in Brave)

zbMATH Keywords

default logicProlog

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

On the complexity of extension checking in default logic ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ Operational characterization of extensions in some logics for default reasoning ⋮ A comparative survey of default logic variants ⋮ Seminormalizing a default theory

Cites Work

• Formalizing nonmonotonic reasoning systems
• A logical framework for default reasoning
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• A graph-theoretic approach to default logic
• Applying SLD-Resolution to a Class of Non-Horn Logic Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational concepts of nonmonotonic logics. I: Default logic