Extensions for open default theories via the domain closure assumption

DOI10.1007/3-540-61630-6_26zbMATH Open1427.68293OpenAlexW2116664597MaRDI QIDQ5236446FDOQ5236446

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Large infinitary languages. Model theory
• Model theory.
• A logic for default reasoning
• A logical framework for default reasoning
• Title not available (Why is that?)
• A comparative study of open default theories
• Title not available (Why is that?)

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)