Constructive mathematics and computer programming
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
The foundation of a generic theorem prover
Journal of Automated Reasoning
A context model for knowledge-intensive case-based reasoning
International Journal of Human-Computer Studies - Special issue: using context in applications
Formalizing context in intuitionistic type theory
Fundamenta Informaticae
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Representing and Reasoning with Context
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Dependent Intersection: A New Way of Defining Records in Type Theory
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Type checking dependent (record) types and subtyping
Journal of Functional Programming
Journal of Functional Programming
What we talk about when we talk about context
Personal and Ubiquitous Computing
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Records and Record Types in Semantic Theory
Journal of Logic and Computation
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
Journal of Logic and Computation
Ambient Intelligence --From Personal Assistance to Intelligent Megacities
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A Logical Framework with Dependently Typed Records
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Fundamenta Informaticae
An Integrated Approach to Context Specification and Recognition in Smart Homes
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
An Active Classification System for Context Representation and Acquisition
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
A Theorem Prover with Dependent Types for Reasoning about Actions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
CDL: an Integrated Framework for Context Specification and Recognition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Goal reasoning with context record types
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
| Hi-index | 0.00 |
The basic goal of context-aware systems is to make software aware of the environment and to adapt to their changing context. For that purpose, the core problem is to have a powerful context model. While significative formalizations have been proposed, context models are either expressed through logical formalisms or with ontology-based approaches. The major problem with all that approaches is that they suffer from the chronic insufficiency of first-order logic to cope with dynamic change and especially, to solve the frame problem. Therefore, building context-aware software is a complex task due to a lack of appropriate formal models in dynamic environments. In this paper, we propose a model which combines the strengths of both approaches while trying not to carry their specific weaknesses into the resulting formal framework. For this purpose, the formal model relies both on a knowledge representation with ontologies and on a logical reasoning with Dependent Record Types (DRT) based on Intuitionistic Type Theory and the Curry-Howard isomorphism. This logic modelling aims to be applied to any kind of process-based applications.