Artificial Intelligence
Generality in artificial intelligence
Communications of the ACM
AI Magazine
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Contexts: a formalization and some applications
Contexts: a formalization and some applications
Decidability of contextual reasoning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
The Semantics of Propositional Contexts
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The representation and use of focus in a system for understanding dialogs
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A declarative formalization of knowledge translation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Dynamic temporal interpretation contexts for temporal abstraction
Annals of Mathematics and Artificial Intelligence
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Communication across Viewpoints
Journal of Logic, Language and Information
Default Reasoning as Situated Monotonic Inference*
Minds and Machines
The Objective Conception of Context and Its Logic
Minds and Machines
Coping with Different Types of Ambiguity Using a Uniform Context Handling Mechanism
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Contexts, Domains, and Software
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Context-Based Ambiguity Management for Natural Language Processing
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
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
Comparing formal theories of context in AI
Artificial Intelligence
Analysis and design of physical and social contexts in multi-agent systems using UML
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Logical sentences as the intent of concepts
Journal of Computer Science and Technology
Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems
Service-Oriented Computing --- ICSOC 2008 Workshops
Towards a Context Theory for Context-aware systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Contextual reasoning in agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On the difference between bridge rules and lifting axioms
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Natural deduction and context as (constructive) modality
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
A reflective proof system for reasoning in contexts
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Bridges from Language to Logic: Concepts, Contexts and Ontologies
Electronic Notes in Theoretical Computer Science (ENTCS)
Contextual information systems
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
An ontology-centric architecture for extensible scientific data management systems
Future Generation Computer Systems
Hi-index | 0.00 |
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,&phgr;), is introduced. It is used to express that the sentence,&phgr;, holds in the context, κ. Secondly, each context has its own vocabulary, i.e. a set of propositional atoms which are defined or meaningful in that context. The main results of this paper are the soundness and completeness of this Hilbert style proof system. We also provide soundness and completeness results (i.e., correspondence theory) for various extensions of the general system. Finally, we prove that our logic is decidable, and give a brief comparison of our semantics to Kripke semantics.