Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The Impact of Data Aggregation in Wireless Sensor Networks
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Energy-Efficient Communication Protocol for Wireless Microsensor Networks
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Semantic streams: a framework for composable semantic interpretation of sensor data
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
IEEE Communications Magazine
Elder care via intention recognition and evolution prospection
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Hi-index | 0.00 |
Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings, but this activity must not be too much invasive and a burden for clinicians. For this reason we prototyped a system called SINDI (Secure and INDependent lIving), focused on i) collecting a limited amount of data about the person and the environment through Wireless Sensor Networks (WSN), and ii) reasoning about these data both to contextualize them and to support clinicians in understanding patients' well being as well as in predicting possible evolutions of their health. Our hierarchical logic-based model of health combines data from different sources, sensor data, tests results, commonsense knowledge and patient's clinical profile at the lower level, and correlation rules between aspects of health (items ) across upper levels. The logical formalization and the reasoning process are based on Answer Set Programming. The expressive power of this logic programming paradigm allows efficient reasoning to support prevention, while declarativity simplifies rules specification by clinicians and allows automatic encoding of knowledge. This paper describes how these issues have been targeted in the application scenario of the SINDI system.