A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
ConChat: A Context-Aware Chat Program
IEEE Pervasive Computing
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
The design and applications of a context service
ACM SIGMOBILE Mobile Computing and Communications Review
Modelling and Using Sensed Context Information in the Design of Interactive Applications
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Modeling Context Information in Pervasive Computing Systems
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
A Probabilistic Room Location Service for Wireless Networked Environments
UbiComp '01 Proceedings of the 3rd international conference on Ubiquitous Computing
Cerberus: A Context-Aware Security Scheme for Smart Spaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
A middleware for context-aware agents in ubiquitous computing environments
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Plausibility measures: a user's guide
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Context sensitive access control
Proceedings of the tenth ACM symposium on Access control models and technologies
Inconsistency detection and resolution for context-aware middleware support
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Context for Ubiquitous Data Management
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
Performance evaluation of inference services for ubiquitous computing
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Trust-enhanced Security in Location-based Adaptive Authentication
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
The ECORA framework: A hybrid architecture for context-oriented pervasive computing
Pervasive and Mobile Computing
Ontology Based Affective Context Representation
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
Context revisited: a brief survey of research in context aware multimedia systems
Proceedings of the 3rd international conference on Mobile multimedia communications
Resolving uncertainty in context integration and abstraction: context integration and abstraction
Proceedings of the 5th international conference on Pervasive services
Assessment of the Impact of Sensor Failure in the Recognition of Activities of Daily Living
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
Reasoning about Context in Uncertain Pervasive Computing Environments
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
On the Evaluation of Quality of Context
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Towards Combining Ontologies and Model Weaving for the Evolution of Requirements Models
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Context-aware systems: A literature review and classification
Expert Systems with Applications: An International Journal
Context-aware system for proactive personalized service based on context history
Expert Systems with Applications: An International Journal
Context Awareness and Uncertainty in Collocated Collaborative Systems
Groupware: Design, Implementation, and Use
Evidential fusion of sensor data for activity recognition in smart homes
Pervasive and Mobile Computing
Context-aware adaptive data stream mining
Intelligent Data Analysis - Knowledge Discovery from Data Streams
Context life cycle management in smart space environments
Proceedings of the 3rd workshop on Agent-oriented software engineering challenges for ubiquitous and pervasive computing
Context reasoning using extended evidence theory in pervasive computing environments
Future Generation Computer Systems
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
AmI '09 Proceedings of the European Conference on Ambient Intelligence
Agent-Based Context Consistency Management in Smart Space Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Performance Prediction in Peer-to-Peer MultiAgent Networks
Agents and Peer-to-Peer Computing
Probabilistic-constrained fuzzy logic for situation modeling
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Activity recognition in smart homes: from specification to representation
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Rapid user-centred evaluation for context-aware systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Virtual walls: protecting digital privacy in pervasive environments
PERVASIVE'07 Proceedings of the 5th international conference on Pervasive computing
A transaction model for context-aware applications
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
Context sensitive adaptive authentication
EuroSSC'07 Proceedings of the 2nd European conference on Smart sensing and context
A framework for utilizing qualitative spatial relations between networked embedded systems
Pervasive and Mobile Computing
Using Dempster-Shafer theory of evidence for situation inference
EuroSSC'09 Proceedings of the 4th European conference on Smart sensing and context
A context quality model to support transparent reasoning with uncertain context
QuaCon'09 Proceedings of the 1st international conference on Quality of context
Activity recognition using temporal evidence theory
Journal of Ambient Intelligence and Smart Environments
Enabling user-oriented management for ubiquitous computing: The meta-design approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Using fuzzy decision tree to handle uncertainty in context deduction
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Uncertainty Management in Context-Aware Applications: Increasing Usability and User Trust
Wireless Personal Communications: An International Journal
A static evidential network for context reasoning in home-based care
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Improving the learning of recurring concepts through high-level fuzzy contexts
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
A middleware for implicit interaction
Computing with instinct
Continuous improvement through knowledge-guided analysis in experience feedback
Engineering Applications of Artificial Intelligence
OPF: a distributed context-sensing framework for ubiquitous computing environments
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Review: Situation identification techniques in pervasive computing: A review
Pervasive and Mobile Computing
A unified context model: bringing probabilistic models to context ontology
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A RDF-Based context filtering system in pervasive environment
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
A system for context-dependent user modeling
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Situation-Aware adaptive visualization for sensory data stream mining
Sensor-KDD'08 Proceedings of the Second international conference on Knowledge Discovery from Sensor Data
Emotiono: an ontology with rule-based reasoning for emotion recognition
ICONIP'11 Proceedings of the 18th international conference on Neural Information Processing - Volume Part II
An adaptive rule-based approach for managing situation-awareness
Expert Systems with Applications: An International Journal
International Journal of Metadata, Semantics and Ontologies
An approach for smart artifacts for mobile advertising
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Pervasive Computing for Hospital, Chronic, and Preventive Care
Foundations and Trends in Human-Computer Interaction
A middleware for pervasive situation-awareness
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Dynamic evolution of context-aware systems with models at runtime
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Review: Application mobility in pervasive computing: A survey
Pervasive and Mobile Computing
Formal verification of context and situation models in pervasive computing
Pervasive and Mobile Computing
Middleware for pervasive computing: A survey
Pervasive and Mobile Computing
An evidential fusion approach for activity recognition in ambient intelligence environments
Robotics and Autonomous Systems
Adaptive interaction support in ambient-aware environments based on quality of context information
Multimedia Tools and Applications
Journal of Ambient Intelligence and Smart Environments - Home-based Health and Wellness Measurement and Monitoring
Context-aware hybrid reasoning framework for pervasive healthcare
Personal and Ubiquitous Computing
| Hi-index | 0.00 |
Pervasive computing environments face the difficult problem of dealing with various kinds of uncertainty. Context-aware systems, in particular, might not be able to identify the current context precisely and thus need infrastructure support for handling uncertainty. This article describes various ways of reasoning about uncertain contexts that are used in Gaia, a prototype pervasive computing infrastructure. Entities in Gaia can use probabilistic logic, fuzzy logic, or Bayesian networks to reason about uncertainty. Gaia's infrastructure helps developers easily build applications that can handle uncertain contexts.