A comparative study of open default theories

DOI10.1016/0004-3702(94)00035-YzbMATH Open1013.68555OpenAlexW2093641046MaRDI QIDQ1855239FDOQ1855239

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• A logical framework for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpretations of open default theories in non-monotonic logics

Cited In (9)

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

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)