Epistemic reasoning for ambient intelligence

ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence

Volumn 1, Issue , 2011, Pages 242-248

  Patkos, Theodore ^a   Plexousakis, Dimitris ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

Ambient intelligence; Epistemic reasoning; Reasoning about action and change

Indexed keywords

AMBIENT INTELLIGENCE; EPISTEMIC REASONING; PARTIAL OBSERVABILITY; REASONING ABOUT ACTIONS; SCIENTIFIC FIELDS;

ARTIFICIAL INTELLIGENCE;

EID: 79960119292     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., and Riboni, D. (2009). A Survey of Context Modelling and Reasoning Techniques. Pervasive and Mobile Computing.
2. Bulfoni, A., Coppola, P., Delia Mea, V., Di Gaspero, L., Mischis, D., Mizzaro, S., Scagnetto, I., and Vassena, L. (2008). AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. In 18th European Conference on AI, pages 668-672.
3. Grammenos, D., Zabulis, X., Argyros, A., and Stephanidis, C. (2009). FORTH-ICS Internal RTD Programme Ambient Intelligence and Smart Environments. In AMI'09: Proceedings of the 3rd European Conference on Ambient Intelligence.
4. Kowalski, R. and Sergot, M. (1986). A Logic-based Calculus of Events. New Generation Computing, 4(1):67-95.
5. Lakemeyer, G. and Levesque, H. J. (1998). AOL: A Logic of Acting, Sensing, Knowing, and Only Knowing. In Principles of Knowledge Representation and Reasoning, pages 316-329.
6. Mueller, E. (2006). Commonsense Reasoning. Morgan Kaufmann, 1st edition.
7. Patkos, T. and Plexousakis, D. (2009). Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains. In IJCAI'09, pages 885-890.
8. Petrick, R. P. A. and Levesque, H. J. (2002). Knowledge Equivalence in Combined Action Theories. In KR '02: International Conference on Principles of Knowledge Representation and Reasoning, pages 303-314.
9. Scherl, R. (2003). Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In IJCAI'03, pages 1091-1098.