The Truth about Defaults

DOI10.1007/978-3-642-30743-0_29zbMath1357.68223OpenAlexW2162446442MaRDI QIDQ2900537

Gerhard Lakemeyer, Hector J. Levesque

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_29

zbMATH Keywords

truthsemanticsdefaultsbeliefonly knowing

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Minimal belief and negation as failure
• Uniform semantic treatment of default and autoepistemic logics
• All I know: A study in autoepistemic logic
• Multi-agent Only Knowing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Truth about Defaults