Towards a classification of defaults logics

DOI10.1080/11663081.1997.10510925zbMath0902.03014OpenAlexW1983501474MaRDI QIDQ4380300

Torsten Schaub, T. Linke

Publication date: 10 December 1998

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1997.10510925

zbMATH Keywords

classification of variants of default logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

Prolog technology for default reasoning: proof theory and compilation techniques

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• On cumulative default logics
• Alternative approaches to default logic
• A three-valued approach to default logic

This page was built for publication: Towards a classification of defaults logics