A comparative study of open default theories

DOI10.1016/0004-3702(94)00035-YMaRDI QIDQ1855239zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Default theories over monadic languages
• Open default theories over closed domains
• scientific article; zbMATH DE number 1341462
• Extensions for open default theories via the domain closure assumption
• On extensions of general default theories

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A logic for default reasoning
• A logical framework for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Interpretations of open default theories in non-monotonic logics
• Model theory.

Cited in

(9)

• 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
• Open default theories over closed domains
• Logic programming and knowledge representation---The A-Prolog perspective
• A note on the stable model semantics for logic programs
• Default theories over monadic languages
• The complexity of predicate default logic over a countable domain
• GK: implementing full first order default logic for commonsense reasoning (system description)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1855239)