Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
ICML '04 Proceedings of the twenty-first international conference on Machine learning
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A survey on context-aware systems
International Journal of Ad Hoc and Ubiquitous Computing
Evaluating user preferences for adaptive reminding
CHI '08 Extended Abstracts on Human Factors in Computing Systems
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Distributed recognition of human actions using wearable motion sensor networks
Journal of Ambient Intelligence and Smart Environments
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
GrinGo: a new grounder for answer set programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
IEEE Transactions on Information Technology in Biomedicine
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
An ambient agent model for monitoring and analysing dynamics of complex human behaviour
Journal of Ambient Intelligence and Smart Environments
An ambient agent model for monitoring and analysing dynamics of complex human behaviour
Journal of Ambient Intelligence and Smart Environments
Capacitive indoor positioning and contact sensing for activity recognition in smart homes
Journal of Ambient Intelligence and Smart Environments
A fuzzy-based context modeling and reasoning framework for CARA pervasive healthcare
ICOST'12 Proceedings of the 10th international smart homes and health telematics conference on Impact Ananlysis of Solutions for Chronic Disease Prevention and Management
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Demonstrating Contexta-CARE: a situation-aware system for supporting independent living
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare
Interactive activity recognition and prompting to assist people with cognitive disabilities
Journal of Ambient Intelligence and Smart Environments - Home-based Health and Wellness Measurement and Monitoring
Tangible ambient intelligence with semantic agents in daily activities
Journal of Ambient Intelligence and Smart Environments
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
Context-aware hybrid reasoning framework for pervasive healthcare
Personal and Ubiquitous Computing
Hi-index | 0.00 |
This paper tackles the problem of supporting independent living and well-being for people that live in their homes and have no critical chronic condition. The paper assumes the presence of a monitoring system equipped with a pervasive sensor network and a non-monotonic reasoning engine. The rich set of sensors that can be used for monitoring in home environments and their sheer number make it quite complex to provide a correct interpretation of collected data for a particular patient. For this reason, we introduce a logic-based context model for situation assessment combined with high level declarative feedback policy specification, and we use logic programming techniques to reason about different pieces of knowledge for prevention.