Comparing formal theories of context in AI

DOI10.1016/J.ARTINT.2003.11.001MaRDI QIDQ814585zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1755766
• On the difference between bridge rules and lifting axioms
• ML systems: A proof theory for contexts
• scientific article; zbMATH DE number 1737288
• scientific article; zbMATH DE number 1552271

Cites work

• scientific article; zbMATH DE number 1523020 (Why is no real title available?)
• scientific article; zbMATH DE number 1737288 (Why is no real title available?)
• scientific article; zbMATH DE number 770149 (Why is no real title available?)
• scientific article; zbMATH DE number 770150 (Why is no real title available?)
• scientific article; zbMATH DE number 1418381 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A Foundation for Metareasoning Part I: The Proof Theory
• A Foundation for Metareasoning Part II: The Model Theory
• Generality in artificial intelligence
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9--11, 1999. Proceedings
• Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27--30, 2001. Proceedings
• Multilanguage hierarchical logics, or: How we can do without modal logics
• On the logic of demonstratives
• Prolegomena to a theory of mechanized formal reasoning

Cited in

(6)

• Rough Sets: From Rudiments to Challenges
• On the difference between bridge rules and lifting axioms
• Higher-order modal logics: automation and applications
• scientific article; zbMATH DE number 1755766 (Why is no real title available?)
• Embodied Context Semantics
• scientific article; zbMATH DE number 1737288 (Why is no real title available?)

This page was built for publication: Comparing formal theories of context in AI

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814585)