Belief, awareness, and limited reasoning
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
A metatheory of a mechanized object theory
Artificial Intelligence
Model checking
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Formal Aspects of Context
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Programming Resource-Bounded Deliberative Agents
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Reasoning About Theory Adequacy. A New Solution To The Qualification Problem
Fundamenta Informaticae
Multicontext Logic for Semigroups of Contexts
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
A decidable multi-modal logic of context
Journal of Applied Logic
ACM Transactions on Computational Logic (TOCL)
Web Semantics: Science, Services and Agents on the World Wide Web
Natural deduction and context as (constructive) modality
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
A contextual approach to the logic of fiction
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Context aware computing and its utilization in event-based systems
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hi-index | 0.00 |
In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma theoretical perspective. We provide a very general definition of ML systems, which covers allthe ML systems used in the literature, and we develop a proof theoryfor an important subclass of them: the MR systems. We prove variousimportant results; among other things, we prove a normal form theorem,the sub-formula property, and the decidability of an importantinstance of the class of the MR systems. The paper concludes with a detailed comparison among the alternativeapproaches.