Operational concepts of nonmonotonic logics. I: Default logic
From MaRDI portal
Publication:1333283
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)
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
