Extensions for open default theories via the domain closure assumption

DOI10.1007/3-540-61630-6_26zbMath1427.68293OpenAlexW2116664597MaRDI QIDQ5236446

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical framework for default reasoning
• A logic for default reasoning
• Model theory.
• Large infinitary languages. Model theory
• A comparative study of open default theories

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