Boukharrou, Radja Radja; Ilié, Jean-Michel; Saidouni, … - In: International Journal of Ambient Computing and … 8 (2017) 3, pp. 38-57
This paper presents an algebraic language, called Time-AgLOTOS, to describe time-dependent behavior of intelligent agent for the design of Ambient Intelligence systems. This specification model provides a theoretical foundation for performing planning under timing constraints. Based on a...