Contexts: a formalization and some applications
Contexts: a formalization and some applications
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Fundamenta Informaticae
Logic programming with social features1
Theory and Practice of Logic Programming
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Ontology Modularity, Information Flow, and Interaction-Situated SemanticsExtended Abstract
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
A strongly-local contextual logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
This paper makes a case for the importance of a formal theory of context and contextual reasoning in agent systems, and proposes a channel theoretic account for modeling the intricacies of agent reasoning in context. Using an example of reasoning about perspectives we shown that this model fulfills the formal requirements for a theory of context, and offers a nice explanatory account of contextual reasoning in terms of information flow.