Comparing formal theories of context in AI

DOI10.1016/j.artint.2003.11.001zbMath1085.68164OpenAlexW1984160984WikidataQ57302684 ScholiaQ57302684MaRDI QIDQ814585

Luciano Serafini, Paolo Bouquet

Publication date: 7 February 2006

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

Full work available at URL: https://doi.org/10.1016/j.artint.2003.11.001

zbMATH Keywords

ContextContextual reasoningLocal models semanticsLogic of contextMultiContext systemsPropositional logic of context

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Higher-Order Modal Logics: Automation and Applications, Rough Sets: From Rudiments to Challenges, Embodied Context Semantics

Cites Work

• On the logic of demonstratives
• Prolegomena to a theory of mechanized formal reasoning
• Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9--11, 1999. Proceedings
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Generality in artificial intelligence
• A Foundation for Metareasoning Part I: The Proof Theory
• A Foundation for Metareasoning Part II: The Model Theory
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27--30, 2001. Proceedings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item