Conference Papers pre-2010
A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. Zhirui Lu, Jun Liu, Juan C. Augusto, and Hui Wang. Proceedings of 29th International Conference on Artificial Intelligence (AI-2009). Pages 305-310. Bramer, M.; Ellis, R. & Petridis, M. (ed.), Springer. Cambridge, UK, 15-17 December 2009. (PDF)
Using Argumentation to Understand Ambiguous Situations in Intelligent Environments Andrés Muñoz, Juan A. Botía, and Juan Carlos Augusto. Proceedings of 2nd Ambient Intelligence Forum (AmIF'09) , Hradec Králové, Czech Republic, 16th-18st of September, 2009. (PDF)
Discovering of Frequent sets of Actions in Intelligent Environments, Asier Aztiria, Alberto Izaguirre, Rosa Basagiotti, Juan Carlos Augusto and Diane J. Cook. Proceedings of 5th International Conference on Intelligent Environments (IE09), Barcelona, Spain, 20-21 of July, 2009. (PDF)
[Augusto09] Increasing Reliability in the Development of Intelligent Environments, Juan Carlos Augusto. Proceedings of 5th International Conference on Intelligent Environments (IE09), pp. 153-160. Barcelona, Spain, 20-21 of July, 2009. (PDF)
State of the Art on Night-Time Care of People with Dementia. P.J. McCullagh, W. Carswell, J.C. Augusto, S. Martin, M.D. Mulvenna, H. Zheng, H.Y. Wang, J.G. Wallace, K. McSorley, B. Taylor, and W.P. Jeffers Proceedings of the conference on Assisted Living 2009, published by IET, London, 24-25 of March, 2009. (PDF)
Context-Aware Agents (The 6Ws Architecture). Juan Carlos Augusto and John O'Donoghue. Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), Porto, Portugal, 19th-21st of January, 2009. (PDF)
The Darmstadt Challenge (the Turing Test Revisited). J.C. Augusto, M. Bohlen, D. Cook, F. Flentge, G. Marreiros, Carlos Ramos, Weijun Qin, and Yue Suo. Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), Porto, Portugal, 19th-21st of January, 2009. (PDF)
Learning Accurate Temporal Relations from User Actions in Intelligent Environments. Asier Aztiria, Juan C. Augusto, Alberto Izaguirre, and Diane Cook. Proceedings of the 3th Symposium of Ubiquitous Computing and Ambient Intelligence, pages 274-283. Salamanca, Spain (22-24th October, 2008). (PDF)
Muti-valued temporal reasoning framework for decision-making. Z.R. Lu, J. Liu, J.C. Augusto, H. Wang. Proceedings of the 8th International Conference on Computational Intelligence in Decision and Control (FLINS'08). Madrid, Spain. September 21-24, 2008. (PDF)
Distributed Vision-based Accident Management for Assisted Living, by Hamid Aghajan, Juan Carlos Augusto, Chen Wu, Paul McCullagh, Julie-Ann Walkden. In "Pervasive Computing for Quality of Life Enhancement", Proceedings of the 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Series: Lecture Notes in Computer Science , Vol. 4541 Okadome, Takeshi; Yamazaki, Tatsuya; Mokhtari, Mounir (Eds.) (PDF)
Using Ambient Intelligence for Disaster Management, J.C. Augusto, J. Liu and L Chen. Proceedings of the 10th International Conference on Knowledge-Based, Intelligent Information and Engineering Systems (KES2006). Bournemouth, 9-11 October 2006. Proceedings to be published by Springer Verlag. (PDF)
Considerations on Uncertain Spatio-Temporal Reasoning in Smart Home Systems, J. Liu, J. C. Augusto, H. Wang, and J. B. Yang. Proceedings of the 7th International Conference on Applied Artificial Intelligence (FLINS 2006). PageEdited by Da Ruan, Pierre D'hondt, Paolo F Fantoni, Martine De Cock, Mike Nachtegael and Etienne Kerre. Applied Artificial Intelligence Series, Published by World Scientific. August 29-31, Genova, Italy. (PDF)
Towards Personalization of Services and an Integrated Service Model for Smart Homes Applied to Elderly Care Juan Carlos Augusto, C.D. Nugent, S. Martin and C. Olphert. Proceedings of International Conference on Smart Homes and health Telematic, pp. 151-158. Sherbrooke, Canada, July 4-6, 2005.
Durative Events in Active Databases. Rodolfo Gómez and Juan C. Augusto. Proceedings of 6th International Conference on Enterprise Information Systems, pp. 306-311. Porto, Portugal, April 14-16, 2004.
Management and Analysis of Time-Related Data in Smart Home Environments. Juan C. Augusto, Chris Nugent and Norman Black. Proceedings of Mediterranean Conference on Medical and Biological Engineering (Medicon'04), Ischia, Italy, July31- August 5, 2004.
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes. Juan Carlos Augusto and Chris Nugent. Proceedings of European Conference on Artificial Intelligence (ECAI 2004), edited by Ramon López de Mántaras and Lorenza Saitta, IOS Press (Amsterdam, The Netherlands), ISBN 1568034529, pages 778-782, held in Valencia, Spain, August 22-27, 2004.
Towards Context Aware Testing for Semantics Interoperability on PvC Environments. A. Flores, J. C. Augusto, M. Polo, and M. Varea. Proceedings of International Conference on Systems, Man and Cybernetics (IEEE SMC'2004), pp. 1136-1141. The Hague, The Netherlands, October 10-13, 2004. IEEE Press.
A New Architecture for Smart Homes Based on ADB and Temporal Reasoning. Juan Carlos Augusto and Chris Nugent. In Toward a Human Friendly Assistive Environment (Proceedings of 2nd International Conference On Smart homes and health
Telematic, ICOST2004), Assistive Technology Research Series, Volume 14, pp. 106-113, IOS Press, Singapore, September 15-17, 2004.
Using SPIN and STeP to Verify StAC Specifications. J. Augusto, Michael Butler, Carla Ferreira, and Stephen Craig. Proceedings of 5th International A.P.Ershov Conference on Perspectives of System Informatics (PSI'03), pp. 207-213, Novosibirsk, Russia, July 2003. LNCS 2890, Springer Verlag.
An Algorithm to Translate PARADIGM specifications to PLTL in Polynomial Time. Rodolfo Sabas Gómez, Juan Carlos Augusto, Silvia Teresita Acuña. Proceedings of "3rd Ibero-American Symposium on Software engineering and Knowledge Engineering (JIISIC'03)", pp. 53-63, Valdivia (Chile), November 2003.
Concurrent Development of Model and Implementation Andrew M. Gravell, Yvonne Howard, Juan C. Augusto, Carla Ferreira,
and Stefan Gruner. Proceedings of "16th International Conference on "Software and Systems Engineering and their Applications". Paris, France. December 2-4, 2003.
A Temporal Logic View of Paradigm Specifications, Juan Carlos Augusto and Rodolfo Gómez. In Proceedings of Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pp. 497-503, July 2002, Ischia, Italy.
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols, A. Galton and Juan C. Augusto. In Proceedings of 9th International Symposium on Temporal Representation and Reasoning (Time-2002), pp. 52-54, July 2002, Manchester, UK. Also see extended version below in section Technical Reports.
Two Approaches to Event Definition, A. Galton and J. C. Augusto. In Proceedings of 13th International Conference on Database and Expert Systems Applications (DEXA'02), pp. 547-556, September 2002, Aix en Provence, France. LNCS Vol. 2453, Springer Verlag. Hameurlain, Abdelkader; Cicchetti, Rosine; Traunmüller, Roland (Eds.), ISBN: 3-540-44126-3.
Formalizing Durations in the Software Development Process. J. C. Augusto, S. T. Acuña, I. Maldonado and M. Lezcano. Proceedings of 2nd Ibero American Conference on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002.
A Set of Test Cases for an Event Detector Prototype, R. Gómez, J. C. Augusto and A. Galton. Proceedings of 13th International
Conference on Software Engineering and Knowledge Engineering (SEKE'2001), pp. 341- 345. Buenos Aires (Argentina). 13th-15th June, 2001.