Generality in artificial intelligence
Communications of the ACM
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
Representing multiple theories
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
A declarative formalization of knowledge translation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Formalizing Context (Expanded Notes)
Formalizing Context (Expanded Notes)
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Fundamenta Informaticae
Fundamenta Informaticae
Compiling Source Descriptions for Efficient and Flexible Information Integration
Journal of Intelligent Information Systems
Dynamic temporal interpretation contexts for temporal abstraction
Annals of Mathematics and Artificial Intelligence
Communication across Viewpoints
Journal of Logic, Language and Information
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
Dynamic Semantics for Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Open Theories and Abduction for Context and Accommodation
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
A decidable multi-modal logic of context
Journal of Applied Logic
Comparing formal theories of context in AI
Artificial Intelligence
Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
Semantics in Data and Knowledge Bases
Towards a Context Theory for Context-aware systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Event-processing network model and implementation
IBM Systems Journal
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
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
A contextualized knowledge framework for semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
A strongly-local contextual logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
In this paper we extend the Propositional Logic of Context, (Buvač & Mason 1993; Buvač, Buvač, & Mason 1995), to the quantificational (predicate calculus) case. This extension is important in the declarative representation of knowledge for two reasons. Firstly, since contexts are objects in the semantics which can be denoted by terms in the language and which can be quantified over, the extension enables us to express arbitrary first-order properties of contexts. Secondly, since the extended language is no longer only propositional, we can express that an arbitrary predicate calculus formula is true in a context. The paper describes the syntax and the semantics of a quantificational language of context, gives a Hilbert style formal system, and outlines a proof of the system's completeness.