A comparative study of open default theories

DOI10.1016/0004-3702(94)00035-YzbMath1013.68555OpenAlexW2093641046MaRDI QIDQ1855239

Michael Kaminski

Publication date: 4 February 2003

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

Full work available at URL: https://doi.org/10.1016/0004-3702(94)00035-y

Mathematics Subject Classification ID

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

Related Items (8)

Default theories over monadic languages ⋮ A note on the stable model semantics for logic programs ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Extensions for open default theories via the domain closure assumption ⋮ Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning ⋮ GK: implementing full first order default logic for commonsense reasoning (system description) ⋮ The complexity of predicate default logic over a countable domain ⋮ Logic programming and knowledge representation---The A-Prolog perspective

Cites Work

• A logical framework for default reasoning
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Model theory.
• Interpretations of open default theories in non-monotonic logics
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A comparative study of open default theories