A logic programming approach to home monitoring for risk prevention in assisted living

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 145-159

  Mileo, Alessandra ^a   Merico, Davide ^a   Bisiani, Roberto ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING (ASP); HOME ENVIRONMENTS; HOME MONITORING; REASONING PROCESSES; RISK PREVENTION; WIRELESS SENSOR NETWORKS (WSNS); ANSWER SET PROGRAMMING; APPLICATION SCENARIO; COMMONSENSE KNOWLEDGE; CONTINUITY OF CARES; INDEPENDENT LIVING; LOGIC-BASED MODELING; LOGICAL FORMALIZATION; REASONING PROCESS;

COMPUTER PROGRAMMING; HEALTH; HEALTH RISKS; LOGIC PROGRAMMING; PROGRAMMING THEORY; SENSORS; WIRELESS SENSOR NETWORKS;

KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING;

EID: 58549113432     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_20     Document Type: Conference Paper

References (24)

1. Tonelli, M.R.: The limits of evidence-based medicine. Respir Care 46(12), 1435-1440 (2001)
2. Cesta, A., Pecora, F.: The robocare project: Intelligent systems for elder care. In: AAAI Fall Symposium on Caring Machines: AI in Elder Care, Washington, DC, USA (2005)
3. Akyildiz, I.F., Weilian, S., Sankarasubramaniam, Y., Cayirci, E.E.: A survey on sensor networks. IEEE Communications Magazine 40(8), 102-114 (2002)
4. Malan, D., Fulford-Jones, T., Wesh, M., Moulton, S.: Codeblue: An ad hoc sensor network infrastructure for emergency medical care. In: Moby Sys Workshop on Applications of Mobile Embedded Systems, Boston, Massachusetts, USA, pp. 12-14 (2004)
5. Wood, A., Virone, G., Doan, T., Cao, Q., Selavo, L., Wu, Y., Fang, L., He, Z., Lin, S., Stankovic, J.: Alarm-net: Wireless sensor networks for assisted-living and residential monitoring. Technical Report CS-2006-11, Dep. of Computer Science, University of Virginia (2006)
6. Krishnamachari, B., Estrin, D., Wicker, S.B.: The impact of data aggregation in wireless sensor networks. In: 22nd International Conference on Distributed Computing Systems, Washington, DC, USA, pp. 575-578. IEEE Computer Society, Los Alamitos (2002)
7. Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: A framework for composable semantic interpretation of sensor data. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, pp. 5-20. Springer, Heidelberg (2006)
8. Liu, J., Zhao, F.: Towards semantic services for sensor-rich information systems. In: 2nd International Conference on Broadband Networks, pp. 44-51 (2005)
9. Heinzelman, W., Chandrakasan, A., Balakrishnan, H.: Energy-efficient communication protocol for wireless sensor networks. In: International Conference on System Sciences, Washington, DC, USA, p. 8020. IEEE Computer Society, Los Alamitos (2000)
10. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: International Conference on Logic Programming, Seattle, Washington, pp. 1070-1080 (1988)
11. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499-562 (2006)
12. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 260-265. Springer, Heidelberg (2007)
13. Baral, C., Gelfond, M.: Logic programming and knowledge representation-the aprolog perspective. Artif. Intell 138(1-2), 3-38 (2002)
14. Fleming, K.C., Evans, J.M., Weber, D.C., Chutka, D.S.: Practical functional assessment of elderly persons: A primary-care approach. Mayo Clinic Proceedings 70(9), 890-910 (1995)
15. Tinetti, M., Williams, T., Mayewski, P.: Fall risk index for elderly patients based on number of chronic disabilities. American Journal of Medicine 80, 429-434 (2002)
16. Guigoz, Y., Vellas, B., Garry, P.: Mini nutritional assessment: A practical assessment tool for grading the nutritional state of elderly patients. Facts and Research in Gerontology 2, 15-59 (1994)
17. Folstein, M.F., Folstein, S.E., McHugh, P.R.: "mini-mental state". A practical method for grading the cognitive state of patients for the clinician. Psychiatric Research 12(3), 189-198 (1975)
18. Yamamoto, S., Mogi, N., Umegaki, H., Suzuki, Y., Ando, F., Shimokata, H., Iguchi, A.: The clock drawing test as a valid screening method for mild cognitive impairment. Dementia and Geriatric Cognitive Disordorders 18, 172-179 (2004)
19. Yesavage, J., Brink, T., Rose, T., Lum, O., Huang, V., Adey, M., Leirer, V.: Development and validation of a geriatric depression screening scale: A preliminary report. Journal of Psychiatric Research 17(1), 37-49 (1982-1983)
20. Katz, S., Downs, H., Cash, H., Grotz, R.: Progress in development of the index of adl. Gerontologist 10(1), 20-30 (1970)
21. Pollack, M.E.: Intelligent technology for an aging population: The use of ai to assist elders with cognitive impairment. AI Magazine 26(2), 9-24 (2005)
22. Niemelä, I., Simons, P.: Extending the smodels system with cardinality and weight constraints. In: Logic-based artificial intelligence, Norwell, MA, USA, pp. 491-521. Kluwer Academic Publishers, Dordrecht (2001)
23. Brewka, G.: Logic programming with ordered disjunction. In: Eighteenth national conference on Artificial intelligence, Menlo Park, CA, USA, pp. 100-105. American Association for Artificial Intelligence (2002)
24. Brewka, G., Niemelä, I., Syrjänen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle, Cosenza, Italy, pp. 444-455. Springer, Heidelberg (2002)