Extensions for open default theories via the domain closure assumption

DOI10.1007/3-540-61630-6_26MaRDI QIDQ5236446zbMATH OpenOpenAlexFDO

Authors Michael Kaminski, Michael Tiomkin, Johann A. Makowsky

Publication date 8 October 2019

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

Full work available at URL https://doi.org/10.1007/3-540-61630-6_26

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains
• scientific article; zbMATH DE number 1341462
• On extensions of general default theories
• Publication:4934643
• scientific article; zbMATH DE number 2197975
• Constraints on extensions of a default theory
• A proof method for closed normal default theories
• Publication:4943322
• Ordered seminormal default theories and their extensions

Cites work

• scientific article; zbMATH DE number 410424 (Why is no real title available?)
• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• A comparative study of open default theories
• A logic for default reasoning
• A logical framework for default reasoning
• Large infinitary languages. Model theory
• Model theory.

Cited in

(5)

• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains
• Domain extension and ideal elements in mathematics
• Ordered seminormal default theories and their extensions
• Default theories over monadic languages

This page was built for publication: Extensions for open default theories via the domain closure assumption

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