The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Computational situation theory
ACM SIGART Bulletin
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding and Using Context
Personal and Ubiquitous Computing
iCAP: an informal tool for interactive prototyping of context-aware applications
CHI '03 Extended Abstracts on Human Factors in Computing Systems
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
Providing architectural support for building context-aware applications
Providing architectural support for building context-aware applications
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
A Framework for Developing Mobile, Context-aware Applications
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
An infrastructure approach to context-aware computing
Human-Computer Interaction
The Knowledge Engineering Review
Resolving uncertainty in context integration and abstraction: context integration and abstraction
Proceedings of the 5th international conference on Pervasive services
A multi-dimensional architectural approach to behavior-intensive adaptive pervasive applications
ISWPC'09 Proceedings of the 4th international conference on Wireless pervasive computing
Context-aware service composition in pervasive computing environments
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
An evidential fusion approach for activity recognition in ambient intelligence environments
Robotics and Autonomous Systems
| Hi-index | 0.00 |
We characterize situations as constraints on sensor readings expressed in rules. We also introduce an extension of Prolog which we call LogicCAP for programming context-aware applications, where situations are first-class entities. The operator "in-situation" in the language captures a common form of reasoning in context-aware applications, which is to ask if an entity is in a given situation. We show the usefulness of our approach via programming idioms, including defining relations among situations and integration with the Web.