Foundations of logic programming
Foundations of logic programming
Computational situation theory
ACM SIGART Bulletin
Affective computing
Context-mediated behavior for intelligent agents
International Journal of Human-Computer Studies - Special issue: using context in applications
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multi-sensor context-awareness in mobile devices and smart artifacts
Mobile Networks and Applications
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
Using Semantic Networks for Knowledge Representation in an Intelligent Environment
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Movement Awareness for a Sentient Environment
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
A logic for perception and belief
A logic for perception and belief
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
Representation of procedures and practices in contextual graphs
The Knowledge Engineering Review
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
From Home to World - Supporting Context-aware Applications through World Models
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
A Framework for Developing Mobile, Context-aware Applications
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Learning to Detect User Activity and Availability from a Variety of Sensor Data
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Taxonomic lattice structures for situation recognition
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
An ontology for context-aware pervasive computing environments
The Knowledge Engineering Review
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
An infrastructure approach to context-aware computing
Human-Computer Interaction
Prototypes in Pervasive Computing
IEEE Pervasive Computing
How smart are our environments? An updated look at the state of the art
Pervasive and Mobile Computing
Activity recognition via user-trace segmentation
ACM Transactions on Sensor Networks (TOSN)
Artificial intelligence on the body, in the home, and beyond
BodyNets '08 Proceedings of the ICST 3rd international conference on Body area networks
Review: Ambient intelligence: Technologies, applications, and opportunities
Pervasive and Mobile Computing
Situvis: A Visual Tool for Modeling a User's Behaviour Patterns in a Pervasive Environment
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Kinetic User Interface: Interaction through Motion for Pervasive Computing Systems
UAHCI '09 Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments
Advanced fuzzy inference engines in situation aware computing
Fuzzy Sets and Systems
Context assessment strategies for ubiquitous robots
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems
Pervasive and Mobile Computing
Tools for designing and prototyping activity-based pervasive applications
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Activity recognition using temporal evidence theory
Journal of Ambient Intelligence and Smart Environments
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Pervasive and Mobile Computing
UIC'10 Proceedings of the 7th international conference on Ubiquitous intelligence and computing
A middleware for implicit interaction
Computing with instinct
A top-level ontology for smart environments
Pervasive and Mobile Computing
Exploring semantics in activity recognition using context lattices
Journal of Ambient Intelligence and Smart Environments
Future Generation Computer Systems
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
International Journal of Mobile Learning and Organisation
OntoHealth: An Ontology Applied to Pervasive Hospital Environments
International Journal of Advanced Pervasive and Ubiquitous Computing
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
Hi-index | 0.00 |
Context-aware pervasive systems are emerging as an important class of applications. Such systems can respond intelligently to contextual information about the physical world acquired via sensors and information about the computational environment. A declarative approach to building context-aware pervasive systems is presented, and the notion of the situation program is introduced, which highlights the primacy of the situation abstraction for building context-aware pervasive systems. There is also a demonstration of how to manipulate situation programs using meta-programming within an extension of the Prolog logic programming language which is called LogicCAP. Such meta-reasoning enables complex situations to be described in terms of other situations. Furthermore, a discussion is given on how the design of situation programs can affect the properties of a context-aware system. The approach encourages a high-level of abstraction for representing and reasoning with situations, and supports building context-aware systems incrementally by providing modularity and separation of concerns.