Temporal reasoning for intuitive specification of context-awareness

Proceedings - 2014 International Conference on Intelligent Environments, IE 2014

Volumn , Issue , 2014, Pages 234-241

  Ibarra, Unai Alegre ^a   Augusto, Juan Carlos ^b   Goenaga, Asier Aztiria ^a  

^a MONDRAGON UNIVERSITY   (Spain)

^b MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

ambient intelligence; context awareness; temporal reasoning

Indexed keywords

AMBIENT INTELLIGENCE; INTELLIGENT AGENTS;

CONTEXT- AWARENESS; INTELLIGENT ENVIRONMENT; REAL TIME; RULE-BASED LANGUAGE; SMART OFFICES; TEMPORAL OPERATORS; TEMPORAL REASONING;

SPECIFICATIONS;

EID: 84908636721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IE.2014.44     Document Type: Conference Paper

References (6)

1. A. Galton and J. C. Augusto, "Stratified causal theories for reasoning about deterministic devices and protocols," in TIME, 2002, pp. 52-54.
2. Z. Lu, J. Augusto, J. Liu, H. Wang, and A. Aztiria, "A system to reason about uncertain and dynamic environments," International Journal on Artificial Intelligence Tools, vol. 21, no. 05, 2012.
3. A. Aztiria, J. C. Augusto, R. Basagoiti, A. Izaguirre, and D. J. Cook, "Learning frequent behaviors of the users in intelligent environments," IEEE T. Systems, Man, and Cybernetics: Systems, vol. 43, no. 6, pp. 1265-1278, 2013.
4. J. C. Augusto, V. Callaghan, D. Cook, A. Kameas, and I. Satoh, "Intelligent environments: a manifesto," Human-centric Computing and Information Sciences, vol. 3, no. 1, pp. 1-18, 2013.
5. J. C. Augusto, "The logical approach to temporal reasoning," Artificial Intelligence Review, vol. 16, no. 4, pp. 301-333, 2001.
6. Z. Lu, J. Augusto, J. Liu, and H. Wang, "A linguistic truth-value temporal reasoning (ltr) system and its application to the design of an intelligent environment," International Journal of Computational Intelligence Systems, vol. 5, no. 1, pp. 173-196, 2012.