Default theories over monadic languages

DOI10.1016/J.TCS.2006.08.007zbMath1153.68051OpenAlexW2019146198MaRDI QIDQ860840

Michael Kaminski, Julia Rubin-Mosin

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.08.007

zbMATH Keywords

default logicHerband interpretationsmonadic languagesopen defaults

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Cites Work

• A logical framework for default reasoning
• A note on the stable model semantics for logic programs
• A logic for default reasoning
• Model theory.
• Similarity preservation in default logic
• A comparative study of open default theories
• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Default theories over monadic languages