Research Publications (by type) E-mail me to have a copy of any of these papers

Journals		Editorial Work
Conferences		Workshops
Book Chapters		Technical Reports
	Miscellaneous...

Disclaimer: Papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for academic purposes, redistribution or reprinting for commercial purposes is prohibited.

Journals:

• [AztiriaABIC2011] Discovering Frequent User-Environment Interactions in Intelligent Environments. A. Aztiria, J.C. Augusto, R. Basagoiti, A. Izaguirre, D. Cook. Accepted to be published in Personal and Ubiquitous Computing. Springer Verlag.
• [McNaullAMM2011] Ambient Assisted Living Systems and Technologies: A Data and Information Quality Perspective. James McNaull, Juan C. Augusto, Maurice Mulvenna and Paul McCullagh. Accepted to be published in ACM Transactions on Data and Information Quality.
• [FernandezASM2011] A Sensor Technology Survey for a Stress Aware Trading Process. Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid. Accepted to be published in IEEE's SMC - Part A.
• [LuALW2011] A Linguistic Truth-value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment. Z. Lu, J. C. Augusto, J. Liu and H. Wang. Accepted to be published in International Journal of Computational Intelligence Systems. Atlantis Press.
• [MunozAVB2011] Design and Evaluation of an Ambient Assisted Living System Based on an Argumentative Multi-Agent System. Andrés Muñoz, Juan Carlos Augusto, Ana Villa, Juan Antonio Botía . Personal and Ubiquitous Computing, 15(4):377-387, April 2011. Springer Verlag.
• [McCullaghA2011] The Internet of Things: The Potential to Facilitate Health and Wellness. P.J. McCullagh and J.C. Augusto. Upgrade-The European Journal for the Informatics Professional. Special Issue on ``Internet of Things''. G. Montoro-Manrique, P. Haya-Coll, and D. Schnelle-Walka (Eds.). February 2011.
• [MulvennaCMAZJWM2011] Visualization of Data for Ambient Assisted Living Services. Maurice Mulvenna, William Carswell, Paul McCullagh, Juan Carlos Augusto, Huiru Zheng, Paul Jeffers, Haiying Wang, Suzanne Martin. IEEE Communications Magazine, vol. 49, no. 1, January 2011, p. 110-117, ISSN: 0163-6804, 10.1109/MCOM.2011.5681023. IEEE Communications Magazine feature topic on New Converged Telecommunications Applications for the End User.
• [AugustoMMM2010] Scoping the Potential for Anytime-Anywhere Support Through Virtual Mentors. J.C. Augusto, V. McNair, P. McCullagh, and A. McRoberts. Italics, Nov 2010 (Volume 9 Issue 2), pp. 74-85.. Published by the HEA-ICS subject centre, UK. (PDF version)
• [AztiriaIA2010] Learning patterns in Ambient Intelligence environments: A Survey. Asier Aztiria, Alberto Izaguirre, Juan Carlos Augusto. Artificial Intelligence Review, Volume 34, Number 1, 35-51, June 2010. (PDF version)
• [WangLA2010] Mass Function Derivation and Combination in Multivariate Data Spaces. HuiWang, Jun Liu, Juan Carlos Augusto. Information Sciences, Vol. 180, No. 6, pp. 813-819. Elsevier.
• [Carswell et al., 2009] A Review of the Role of Assistive Technology for People with Dementia in the Hours of Darkness. Carswell, W., McCullagh, P.J., Augusto, J.C., Martin, S., Mulvenna, M.D., Zheng, H, Wang, H.Y., Wallace, J.G., McSorley, K., Taylor, B., Jeffers, W.P., Technology and Health Care, Volume 17, Number 4, pp. 281-304. 2009. IOS Press. (PDF version)
• [Augusto2009] Ambient Intelligence: Opportunities and Consequences of its Use in Smart Classrooms. Juan C. Augusto. Italics, Volume 8, issue 2, June 2009. (PDF version)
• [CookAJ2009] Ambient Intelligence: applications in society and opportunities for AI. Diane J. Cook, Juan C. Augusto, and Vikramaditya R. Jakkula Pervasive and Mobile Computing. 5:277- 298. Elsevier. 2009. (PDF version)
• [AugustoLCWY2008] Management of uncertainty and spatio-temporal aspects for monitoring and diagnosis in a Smart Home. Juan C. Augusto, Jun Liu, Paul McCullagh, Hui Wang, and Jian-Bo Yang. International Journal of Computational Intelligence Systems, 1(4):361-378. Atlantis Press. 2008. (PDF version)
• [AugustoWL2008] Situation Assessment During Disaster Management. J. C. Augusto, Hui Wang, Jun Liu. In: International Journal of Computational Intelligence Systems,1(3):237-247. Atlantis Press. 2008. (PDF version)
• [PonzoniAAG2007] Inferring genetic regulatory networks using combinatorial optimization and adaptive regulation thresholds. Ignacio Ponzoni, Francisco J. Azuaje, Juan C. Augusto and David H. Glass. IEEE Transactions on Computational Biology and Bioinformatics, Volume 4, Number 4, pp. 624-634, November-December, 2007. (PDF version)
• [AugustoM2007] Ambient Intelligence: Concepts and Applications. Juan C. Augusto and Paul McCullagh. Invited Paper by the International Journal on Computer Science and Information Systems, volume 4, Number 1, pp. 1-28, June 2007. (PDF version)
• [GómezA2006] Expresiveness in Query Languages for Temporal Databases. Rodolfo Gómez and Juan C. Augusto. Artificial Intelligence Review (Springer Verlag), V. 26, N. 4, pp. 269-289, Dec. 2006. (PDF version)
• [Augusto2005] Temporal Reasoning for Decision Support in Medicine. Juan C. Augusto. Artificial Intelligence in Medicine., Vol 33/1 pp 1-24, Elsevier.
  (2nd most downloaded article from International Journal Artificial Intelligence in Medicine (Elsevier) during 1st quarter of 2005 and within the 25 most downloaded within the first year of its publication: January 2005-January 2006) (PDF version)
• [Augusto2003] A General framework for Reasoning about Change. Juan C. Augusto, New Generation Computing, 21(3) 209-247, Ohmsha, Ltd and Springer Verlag, 2003. (PDF version)
• [AugustoG2003] A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. Juan Carlos Augusto and Rodolfo Gómez. Published in the International Journal of Software Engineering and Knowledge Engineering , World Scientific, Vol. 13, No. 6 (December 2003), pp. 627--654. (PDF version)
• [AugustoS2001] Temporal Defeasible Reasoning, Juan C. Augusto and Guillermo R. Simari. Knowledge and Information Systems, Volume 3, Number 3, 287-318, August 2001. Springer Verlag. (PDF version)
• [Augusto2001] The Logical Approach to Temporal Reasoning, Juan C. Augusto, Artificial Intelligence Review, Vol. 16, 4, December, pp. 301-333, Kluwer Academic Publishers. (PDF version)
• [CoboA2000a] Logical Foundations and Implementation of an Extension to Temporal Prolog. Laura Cobo and Juan C. Augusto. Journal of Computer Science and Technology (JCS&T) number 2, pp. 22-36, sponsored by ISTEC (Iberoamerican Science & Technology Education Consortium. March 2000. (PDF version)
• [AugustoS99] A Temporal Argumentative System. Juan C. Augusto and Guillermo R. Simari. Artificial Intelligence Communications, vol.12 nro. 4, pp. 237-257, IOS Press, 1999.

Editorial Work (Proceedings, Special Issues):

• [MaitlandAC2011] Proceedings of the 5th International ICST Conference on Pervasive Computing Technologies for Healthcare 2011, April, 2011 - Dublin, Republic of Ireland. IEEE Press. J. Maitland, JC. Augusto and B. Cauldfield (Eds.). In press.
• [AugustoKCLHE2011] Proceedings of the 7th International Conference on Intelligent Environments (IE 11), 6-8 July 2011, Nottingham, UK. Juan Carlos Augusto, Achilles Kameas, Vic Callaghan, Ahmad Lotfi, Sean Hanna, Simon Egerton (Eds.). In press.
• [Augusto et al. 2011] Proceedings of the Workshops held during IE’11 (including 6th AITAmI and 3^rd WishWELL). J.C. Augusto, H. Aghajan, V. Callaghan, D.J. Cook, J. O'Donoghue, S. Egerton, M. Gardner, B.D. Johnson, Y. Kovalchuk, R. López-Cózar, P. Mikulecký, J.W.P. Ng, R. Poppe, T.D. Wang and V. Zamudio. Volume 10, Ambient Intelligence and Smart Environments series, IOS Press. 6-8 July 2011, Nottingham, UK.
• [AugustoCNA2010] Ambient Intelligence and Future Trends - Proceedings of the International Symposium on Ambient Intelligence (ISAmI 2010), Series: Advances in Intelligent and Soft Computing, Vol. 72, Augusto, J.C.; Corchado, J.M.; Novais, P.; Analide, C. (Eds.), 2010, ISBN: 978-3-642-13267-4.
• [NakashimaAA2009] Handbook on Ambient Intelligence and Smart Environments, H. Nakashima, H. Aghajan, and J.C. Augusto (Eds). Springer Verlag. 2009.
• [AghajanLA2009] Human-Centric Interfaces for Ambient Intelligence, H. Aghajan, R. Lopez- Cozar Delgado, and J.C. Augusto (Eds). Academic Press - Elsevier. 2009.
• [SchneiderKAHACICMKC2009] Proceedings of the 4th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI2009), M. Schneider, A. Kröner, J.E. Alvarado, A.G. Higuera, J.C. Augusto, D.J. Cook, V. Ikonen, P. Cech, P. Mikulecký, A. Kameas and V. Callaghan, (Eds.). Barcelona, Spain. 19th-21st of July 2009. Co-located event of Intelligent Environments 2009. Published by IOS Press.
• [AugustoBCCNST2009] Proceedings of the Third International Workshop on Human Aspects in Ambient Intelligence. Augusto, J.C., Bosse, T., Castelfranchi, C., Cook, D., Neerincx, M., Sadri, F., and Treur, J. (eds.). Published as part of: Baeza-Yates, R., Lang, J., Mitra, S., Parsons, S., and Pasi, G. (eds.), Proceedings of the WI/IAT'09 Workshops, Milan, 2009. IEEE Computer Society Press, 2009.
• [MoldtAU2009] Proceedings of the 7th Workshop on Verification and Validation of Enterprise Information Systems held during ICEIS'09, Milan (Italy), June 2009. Edited by Daniel Moldt, Juan C. Augusto, and Ulrich Ultes-Nitsche. INSTICC Press.
• [AugustoBCCNST2008] Proceedings of the Second International Workshop on Human Aspects in Ambient Intelligence. Augusto, J.C., Bosse, T., Castelfranchi, C., Cook, D., Neerincx, M., Sadri, F., and Treur, J. (eds.). Published as part of: Li, Y., Pasi, G., Zhang, C., Cercone, N., and Cao, L. (eds.), Proceedings of the WI/IAT'08 Workshops, Sydney, 2008. IEEE Computer Society Press, 2008.
• [AugustoSA2008] Proceedings of the 3rd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI2008), Patras, Greece. 21st-22nd of July 2008. Co-located event of ECAI 2008. Co-edited in collaboration with Daniel Shapiro and Hamid Aghajan.
• [Ultes-NistcheMA2008] Proceedings of the 6th Workshop on Verification and Validation of Enterprise Information Systems held during ICEIS'08, Barcelona (Spain), June 2008. Edited by Ulrich Ultes-Nitsche, Daniel Moldt and Juan C. Augusto. INSTICC Press.
• [AugustoR2008] Special Issue of the Journal of Enterprise Information Systems with selected papers from the 5th Workshop on Verification and Validation of Enterprise Information Systems, Madeira (Portugal), June 2007. Edited by Juan C. Augusto, and Marc Roper. Published by Taylor and Francis. To be published in 2008.
• [RamosAS2008] Special Issue on Ambient Intelligence. Guest Editors Carlos Ramos, Juan Augusto, and Daniel Shapiro. IEEE Intelligent Systems, vol. 23, no. 2, pp. 15-18, Mar/Apr, 2008. See here the Introduction to the Special Issue.
• [AugustoS2007b] Advances in Ambient Intelligence. JC. Augusto and Daniel Shapiro (Eds.). Volume 164, Frontiers in Artificial Intelligence and Applications (FAIA) series, IOS Press. 2007.
• [AugustoS2007a] Proceedings of the 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'2007), by JC. Augusto and D. Shapiro (eds.), Hyderabad, India. 6-7th January 2007. Co-located event of IJCAI 2007.
• [AugustoBU2007] Proceedings of the 5th Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems held during ICEIS'07, Madeira (Portugal), June 2007. Edited by Juan C. Augusto, Joseph Barjis, and Ulrich Ultes-Nitsche. INSTICC Press.
• [BarjisUA2007] Increasing Adequacy and Reliability of EIS Special Issue of the International Journal on Science of Computer Programming, Vol. 65, Issue 1, March 2007. Published by Elsevier. Edited by Joseph Barjis, Juan C. Augusto and Ulrich Ultes-Nitsche.
• [AugustoS2006] Proceedings of the 1st Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI06). Co-located event of ECAI 2006. Riva del Garda, Italy. Edited by Juan C. Augusto and Daniel Shapiro. 29th August 2006.
• [AugustoN2006a] Designing Smart Homes: The role of Artificial Intelligence JC Augusto and CD Nugent, Eds. Volume 4008 in the series of Lecture Notes in Artificial Intelligence by Springer Verlag, 2006.
• [NugentA2006] Proceedings of the 4th International Conference on Smart Homes and Health Telematic (ICOST2006), volume 19, Assistive Technology Research Series, IOS Press. Belfast, UK. June 2006.
• [BarjisUA2006a] Proceedings of the 4th Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems held during ICEIS'06, Paphos (Cyprus), May, 2006. Edited by Joseph Barjis, Ulrich Ultes-Nitsche and Juan C. Augusto.
• [AugustoBMMN2006] Pervasive Health Management: new challenges for Health Informatics, Special Issue (Volume 12, Issue 1, January 2006) published by International Journal of Universal Computer Science (JUCS). JC Augusto, ND Black, HG McAllister, PJ McCullagh, CD Nugent, Eds. Published by Know-Center in cooperation with Springer Co. Pub., Joanneum Research and the IICM, Graz University of Technology.
• [Ultes-NitscheAB2005] Proceedings of the 3rd Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems held during ICEIS'05 Miami, U.S.A., May, 2005. Edited by Ulrich Ultes-Nitsche, Juan C. Augusto and Joseph Barjis. INSTICC PRESS, ISBN: 972-8865-03-1.
• [AugustoU2004a] Proceedings of 2nd Workshop on Verification and Validation of Enterprise Information Systems, ISBN: 972-8865-03-1, held during ICEIS'04, Porto, Portugal, 13-14 April, 2004. Edited by Juan C. Augusto and Ulrich Ultes-Nitsche.
• [AugustoU2004b] Special Issue (Vol 10, Number 11, November 2004) of the International Journal of Universal Computer Science (JUCS) has been devoted to a selection of best papers presented at 2nd Workshop on Verification and Validation of Enterprise Information Systems held during 6th International Conference on Enterprise Information Systems, April 13, 2004 -- Porto, Portugal. Juan C. Augusto and Ulrich Ultes-Nitsche, Guest Editors.
• [IsaiasSAU2003] New Technologies for Information Systems, ISBN: 972-98816-2-6. Collection of papers including the proceedings of 1st Workshop on Verification and Validation of Enterprise Information Systems held during ICEIS'03 Angers, France, 22 April, 2003. Edited by Pedro Isaias, Florence Sedes, Juan C. Augusto and Ulrich Ultes-Nitsche.
• [AugustoR2003] Special issue of the Journal of Software Testing, Verification and Reliability has been devoted to a selection of best papers presented at 1st Workshop on Verification and Validation of Enterprise Information Systems held during 5th International Conference on Enterprise Information Systems, École Supérieure d' Électronique de l' Ouest, Angers, France, 22-26, April 2003. See Volume 13, number 4 (December 2003). Guest Editors: Juan C. Augusto and Marc Roper.
• [AugustoA2002] Special Issue (Vol. 5, N. 1, June 2002) of The Electronic Journal of CLEI, with best papers from JIISIC'01 (Jointly with Silvia T. Acuña)
• [CarvalhoMMAA2002] Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), ISBN: 85-87837-06-0, (Jointly with André P. Carvalho, José C. Maldonado, Manoel Mendonça Neto and Silvia T. Acuña).

Book Chapters:

• [AztiriaA2011] Context-Aware Discovery of Human Frequent Behaviours Through Sensor Information Interpretation. Asier Aztiria, Juan Carlos Augusto. Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security. H. Guesgen and S. Marsland(Eds.). IGI Global. In press.
• [McCullaghCMAZJ2010] Nocturnal Sensing and Intervention for Assisted Living of People with Dementia. P.J. McCullagh, W. Carswell, M.D. Mulvenna, J.C. Augusto, H. Zheng,and W.P. Jeffers. D. Lai, R. Begg and M. Palaniswami (Eds.). In Healthcare Sensor Networks - Challenges Towards Practical Application. Taylor and Francis/CRC Press. 2010. (PDF version)
• [MunozBA2010a] Intelligent Decision-Making for a Smart Home Environment with Multiple Occupants. A. Muñoz, J. Botía, and J. C. Augusto. In "Computational Intelligence in Complex Decision Systems", pp. 325-369. Atlantic Press. 2010. ISBN: 978-90-78677-27-7 (PDF version)
• [LuLAW2010] A Many-Valued Temporal Logic and Reasoning Framework for Decision Making. Z. Lu, J. Liu J. C. Augusto, and H. Wang. In "Computational Intelligence in Complex Decision Systems", pp. 125-145.Atlantic Press. 2010. ISBN: 978-90-78677-27-7 (PDF version)
• [AztiriaAIC2009] Learning Preferences and Common Behaviours of the User in Intelligent Environments. Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti and Juan C. Augusto. "Behaviour Monitoring and Interpretation: Smart Environments". Pages: 289-315. IOS Press. 2009. (PDF version)
• [Augusto09] Past, Present and Future of Ambient Intelligence and Smart Environments. Juan Carlos Augusto. In "Agents and Artificial Intelligence (Revised Selected Papers of ICAART 2009 held in Porto, Portugal)". Series: Communications in Computer and Information Science, Vol. 67. Filipe, Joaquim; Fred, Ana; Sharp, Bernadette (Eds.). ISBN: 978-3-642-11818-0. Springer Verlag. 2009. (PDF version)
• [AugustoNA2009] Handbook on Ambient Intelligence and Smart Environments: a state of the art by J.C. Augusto, Hidey Nakashima, and H. Aghajan. Introduction to "Handbook on Ambient Intelligence and Smart Environments", Hidey Nakashima, H. Aghajan, and J.C. Augusto (Eds). Springer Verlag. 2009. (PDF version)
• [AghajanLA2009a] Human-Centric Interfaces - Preface, by H. Aghajan, R. Lopez-Cozar Delgado, and J.C. Augusto. In "Human-Centric Interfaces for Ambient Intelligence", by H. Aghajan, R. Lopez-Cozar Delgado, and J.C. Augusto (Eds). Academic Press - Elsevier. 2009.
• [AghajanLA2009b] Human-Centric Interfaces: Looking to the future, by H. Aghajan, R. Lopez- Cozar Delgado, and J.C. Augusto. Epilogue to "Human-Centric Interfaces for Ambient Intelligence", by H. Aghajan, R. Lopez-Cozar Delgado, and J.C. Augusto (Eds). Academic Press - Elsevier. 2009.
• [Augusto2008] Ambient Intelligence: Basic Concepts and Applications. Juan C. Augusto. Software and Data Technologies. Series: Communications in Computer and Information Science, Vol. 10. Filipe, Joaquim; Shishkov, Boris; Helfert, Markus (Eds.). ISBN: 978-3-540-70619-9. Pages 14-24. Springer Verlag. 2008. (PDF version)
• [Augusto2007a] Ambient Intelligence: The Confluence of Pervasive Computing and Artificial Intelligence, JC Augusto. In Intelligent Computing Everywhere, Alfons Schuster (Ed.). Pages 213-234. Published by Springer Verlag, 2007. (PDF version)
• [AugustoN2006b] Smart Homes Can be Smarter, JC Augusto and CD Nugent. Introductory chapter to "Designing Smart Homes: The role of Artificial Intelligence", JC Augusto and CD Nugent, Eds. To be published as volume 4008 in the series of Lecture Notes in AI by Springer Verlag, 2006. Pages 1-15. (PDF version)
• [NugentA2005] Management and Analysis of Time-Related Data in Internet Based Healthcare Delivery. Chris Nugent and Juan C. Augusto. 17 pages. Published in ''Clinical Knowledge Management'', pp. 33-51. Edited by R. Bali. Idea Group Publishing, USA. 2005. (PDF version)

Conferences

• [McNaullAMM2011] Multi-Agent Interactions for Ambient Assisted Living. James McNaull, Juan Carlos Augusto, Maurice Mulvenna and Paul McCullagh. Proceedings of 7th International Conference on Intelligent Environments (IE'11), pp. 310-313. Nottingham, UK.
• [HuangMWA2011] A Concept Grounding Approach for Glove-Based Gesture Recognition. Yu Huang, Dorothy Monekosso, Hui Wang, Juan Carlos Augusto. To appear in Proceedings of 7th International Conference on Intelligent Environments (IE'11), pp. 359-361. Nottingham, UK.
• [ChenLW2011a] Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. Shuwei Chen, Jun Liu, Hui Wang and Juan Carlos Augusto. To appear in Proceedings of The 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), Springer, LNCS/LNAI series. Belfast (UK), 29th of June - 1st of July, 2011.
• [ChenLW2011b] A Data Driven Rule-Base Inference Approach for Classification Systems. Shuwei Chen, Jun Liu, Hui Wang, and Juan Carlos Augusto. To appear in Proceedings of The 2nd IEEE International Conference on Software Engineering and Service Sciences (ICSESS 2011). IEEE Press. Beijing, China. July 15-17,2011.
• [CarswellAMWMMZWMTJ2011] The NOCTURNAL Ambient Assisted Living System. W. Carswell, J. Augusto, M. Mulvenna, J. Wallace, S. Martin P.J. McCullagh, H. Zheng, H. Wang, K. McSorley, B. Taylor, W.P. Jeffers. To appear in Proceedings of 5th International Conference on Pervasive Health (PH'11). Dublin, Ireland.
• [AugustoZMWCJ2011] Design and Modelling of the Nocturnal AAL Care System. J. C. Augusto, H. Zheng, M. Mulvenna, H. Wang, W. Carswell, P. Jeffers. Proceedings of 2nd International Symposium on Ambient Intelligence (ISAmI 2011), pp. 109-116. April, 2011 - Salamanca - Spain. Springer Verlag.
• [MartinezASM2011] AmI Support for the Trading Process: Self-Aware Trader Model. J. Martínez Fernández, J.C. Augusto, R. Seepold, N. Martínez Madrid. To appear in Proceedings of 2nd International Symposium on Ambient Intelligence (ISAmI 2011), pp. 1-8. April, 2011 - Salamanca - Spain. Springer Verlag.
• [AugustoMM2010] Anytime-Anywhere Student Support Through Virtual Mentors. Juan Carlos Augusto, Paul McCullagh, Alex McRoberts, and Victor McNair. Proceedings of 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science. 24th August 2010 - 26th August 2010. Durham, UK. (PDF version)
• [AztiriaIBAC2010] Automatic Modeling of Frequent User Behaviours in Intelligent environments. Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto, Diane J. Cook. Proceedings of International Conference on Intelligent Environments (IE'10), pp. 7-12. IEEE Press. Kuala Lumpur, Malaysia. 19-21 July 2010. (PDF version)
• [AztiriaABI2010] Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments. Asier Aztiria and Juan Carlos Augusto and Rosa Basagoiti and Alberto Izaguirre. Proceedings of 1st International Symposium on Ambient Intelligence (ISAmI 2010), pp. 19-28. Springer Verlag. 16th-18th June, 2010 - Guimarães - Portugal. (PDF version)
• [FernandezASM2010] Why Traders Need Ambient Intelligence. Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid. Proceedings of 1st International Symposium on Ambient Intelligence (ISAmI 2010), pp. 229-236. Springer Verlag. 16th-18th June, 2010 - Guimarães - Portugal. (PDF version)
• [AugustoMMCZ2010] Holistic Night-Time Care. J.C. Augusto, S. Martin, M.D. Mulvenna, W. Carswell, H. Zheng. Proceedings of the 7th World Conference of the International Society for Gerontechnology. May 27 – 30, 2010, Vancouver, Canada. (PDF version)
• [Lucas-CuestaFAAM2010] Dialogue-Based Management of User Feedback in an Autonomous Preference Learning System, Juan Manuel Lucas-Cuesta, Javier Ferreiros, Asier Aztiria, Juan Carlos Augusto, and Michael McTear. Proceedings of ICAART'10, Valencia, Spain. (PDF version)
• [LuLAW09] 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 version)
• [MunozBA09] 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 version)
• [AztiriaIBAC09] 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 version)
• [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 version)
• [McCullaghetal09] 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 version)
• [AugustoO09] 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 version)
• [AugustoBCFMRQS09] 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 version)
• [AztiriaAIC2008] 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 version)
• [LuLAW2008] 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 version)
• [AugustoWL2007] Making the right decisions for disaster prevention. J. C. Augusto, Hui Wang, Jun Liu. Proceedings of the International Conference on Intelligent Systems and Knowledge Engineering (ISKE2007), Chengdu, China, Oct 15-16, 2007, Atlantis Press, pp. 819-825.
• [AghajanACMW2007] 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 version)
• [AugustoLC2006] 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 version)
• [LiuAWY2006] 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 version)
• [AugustoNMO2005b] 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. (PDF version)
• [GómezA2004a] 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. (PDF version)
• [AugustoNB2004] 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. (PDF version)
• [AugustoN2004a] 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. (PDF version)
• [FloresAPV2004] 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. (PDF version)
• [AugustoN2004b] 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. (PDF version)
• [AugustoBFC2003] 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. (PDF version)
• [GomezAA2003] 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. (PDF version)
• [GravellHAFG2003] 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. (PDF version)
• [AugustoG2002b] 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. (PDF version)
• [GaltonA2002a] 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. (PDF version) Also see extended version below in section Technical Reports.
• [GaltonA2002b] 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. (PDF version)
• [AugustoAML2002] 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. (PDF version)
• [GómezAG2001] 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.
• [AcuñaALM2001] Una formalización de la dinámica del proceso de desarrollo de software. (A Formalization of the Software Development Process Dynamics) S. T. Acuña, J. C. Augusto, M. Lescano and I. Maldonado. Proceedings of 1st Ibero American Conference on Software Engineering and Knowledge Engineering (JIISIC'2001), pp. 137-146. Buenos Aires (Argentina). 13th-15th June, 2001.
• [SánchezA2000] Testing an Implementation of a Temporal Logic Language. Marisa A. Sánchez and Juan C. Augusto. Proceedings of XX International Conference of the Chilean Computer Science Society, Santiago (Chile), pp. 68-73 November of 2000.
• [GómezA2000] Un análisis comparativo de lenguajes de consulta para bases de datos temporales. (A Comparison of Temporal Databases Query Languages) Rodolfo Gómez and Juan Carlos Augusto. Proceedings of VI Congreso Argentino de Cs. de la Computación, CACiC2000, pp. 111-122, Usuahia, October 2-7 of 2000.
• [CoboA2000b] A Programming Language Based on Prior's Metric Temporal Operators. María Laura Cobo and Juan Carlos Augusto. Proceedings of VI Congreso Argentino de Cs. de la Computación, CACiC2000, pp. 453-464, Usuahia, October 2-7 of 2000.
• [AugustoV99] Hipótesis temporales en las propuestas para representar sincronización e interacción en multimedia. (Temporal Hypothesis in the Proposals to Represent Synchronization and Interaction in Multimedia) J. C. Augusto and M. Vitturini. Proceedings of 7as Jornadas Universitarias de Computación, Universidad Católica de Santiago del Estero, pp. 1-28, October of 1999.
• [CoboA99a] Resolviendo problemas de sincronización e interacción a través de MTPL. (Solving Synchronization and Interaction Problems through MTPL) María Laura Cobo and Juan Carlos Augusto. Proceedings of 7as Jornadas Universitarias de Computación, Universidad Católica de Santiago del Estero, pp. 81-106, October of 1999.
• [CoboA99b] EMTPL: A Programming Language for Temporal Deductive Data Bases. María L. Cobo and Juan C. Augusto. Proceedings of XIX International Conference of the Chilean Computer Science Society, Edited by IEEE, pp. 170-178, Talca (Chile), November of 1999.
• [CoboA98a] Fundamentos lógicos e implementación de una extensión a temporal prolog. (Logical Foundations and Implementation of an Extension to Temporal Prolog) Laura Cobo and Juan C. Augusto. In Proceedings of IV Congreso Argentino de Cs. de la Computación, CACiC98 pp. 917-932, Neuquén (Argentina), October of 1998.
• [CoboA98b] Programación en lógica temporal basada en los operadores Since and Until. (Temporal Logic Programming Based on Since and Until Operators) Laura Cobo and Juan C. Augusto. In Proceedings of IV Congreso Argentino de Cs. de la Computación, CACiC98, pp. 963-977, Neuquén (Argentina), October of 1998.

Workshops:

• [EspejoAAL2011] Creating Adaptive Intelligent Environments by means of Multimodal Dialogue and Learning Systems. Gonzalo Espejo, Asier Aztiria, Juan Carlos Augusto, and Ramón López-Cózar Delgado. To appear in Proceedings of 2nd International Workshop on Human-Centric Interfaces for Ambient Intelligence (HCIAmI11). Nottingham, UK. July 2011.
• [ReillyDAKH2011] Facilitating Access to Educational Content through Smarter Educational Environments. Lewis Reilly, Leam Delaney, Juan C. Augusto, John Kennedy and Malcom Hutchison. To appear in Proceedings of The Intelligent Campus (iC11). Nottingham, UK. July 2011.
• [AugustoM2011] Safety Considerations in the Development of Intelligent Environments. Juan Carlos Augusto, Paul J. McCullagh. Proceedings of 1st Workshop on the Reliability of Intelligent Environments (WORIE 2011), included in Proceedings of 2nd ISAmI, pp. 197-204, 8th of April, 2011 - Salamanca - Spain. Springer Verlag.
• [MunozBA2010b] An Argumentative Multi-Agent System for Ambient Assisted Living. A. Muñoz, J. Botía, Blaya, J. C. Augusto, Proceedings of IWAAL 2010, pp. 161-170, September 2010. Valencia Spain. ISBN: 978-84-92812-67-7. (PDF version)
• [WangZAMMCWJTM2010] ”Monitoring and Analysis of Sleep Pattern for People with Early Dementia”, Haiying Wang, Huiru Zheng, Juan Augusto, Suzanne Martin, Maurice Mulvenna, William Carswell, Johnathan Wallace, Paul Jeffers, Barbara Taylor, and Kevin McSorley. 1st Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH’10), co-located with IEEE Bioinformatics and Biomedicine Conference. December 2010, Hong Kong, China. (PDF version)
• [FernandezASM2010] Sensors in Trading Process: A Stress – Aware Trader. Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid. Proceedings of 8th IEEE Workshop on Intelligent Solutions in Embedded Systems (WISES 2010). Jul 8, 2010 - Jul 9, 2010. Crete, Greece. (PDF version)
• [Lucas-CuestaAMAF2009] Facilitating Preference Revision through a Spoken Dialogue System. Juan Manuel Lucas-Cuesta, Asier Aztiria, Michael F. McTear, Juan Carlos Augusto, and Javier Ferreiros. DAI Woprkshop co-located with AmI'09. Salzburg, Austria.
• [AztiriaAI2008b] Autonomous Learning of User's Preferences improved through User Feedback. Asier Aztiria, Juan Carlos Augusto and Alberto Izaguirre. Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation (BMI'08), pages 72-86, Co-located with the German Conference on AI 2008, Kaiserslautern, September 23-26, 2008. (PDF version)
• [AztiriaAI2008a] Spatial and Temporal Aspects for Pattern Representation and Discovery in Intelligent Environments. Asier Aztiria, Juan Carlos Augusto and Alberto Izaguirre. Proceedings of the Workshop on Spatial and Temporal Reasoning, co-located with ECAI 2008, Patras, Greece, 22 July 2008. Pages 1-5. (PDF version)
• [AugustoMCW2007] Enhanced Healthcare Provision Through Assisted Decision-Making in a Smart Home Environment, JC. Augusto, PJ. McCullagh, V. Croft and J-A. Walkden. Proceedings of 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI07), pp. 27-32. Co-located event of IJCAI 2007. 6th-7th of January 2007. Hyderabad, India. (PDF version)
• [AugustoNMO2005a] Software and Knowledge Engineering Aspects of Smart Homes Applied to Health. Juan Carlos Augusto, Chris Nugent, Suzanne Martin and Colin Olphert. "Personalised Health Management Systems: The Integration of Innovative Sensing, Textile, Information and Communication Technologies". Volume 117, Studies in Health Technology and Informatics (Proceedings of International Workshop on Personalised Health held in Belfast (UK), December 13-15, 2004). Pages 164-71. Edited by C.D. Nugent, P.J. McCullagh, E.T. McAdams and A. Lymberis. IOS Press, 2005. (PDF version)
• [SanchezAF2004] Fault-Based Testing of E-Commerce Applications. Marisa Sanchez and Juan C. Augusto and Miguel Felder. Proceedings of 2nd Workshop on Verification and Validation of Enterprise Information Systems (VVEIS2004), pp. 66-71. Held in Porto, Portugal, 2004. (PDF version)
• [AugustoHGFGL2004] Model-Based Approaches for Validating Business Critical Systems. J. Augusto, Y. Howard, A. Gravell, C. Ferreira, S. Gruner, and M. Leuschel. Proceedings of "System Testing and Validation Workshop", pp. 225-233, held in Amsterdam (The Netherlands), September 2003. Published by IEEE Press, ISBN:0-7695-2218-1, 2004. (PDF version)
• [AugustoLBF2003] Using the Extensible Model Checker XTL to Verify StAC Business Specifications. Juan C. Augusto, Michael Leuschel, Michael Butler, and Carla Ferreira. Pre-proceedings of 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), pp. 253-266, April 2-3 2003, Southampton (UK). (PDF version)
• [HowardGGFA2003] Model-Based Trace-Checking. Yvonne M. Howard, Stefan Gruner, Andy M. Gravell, Carla Ferreira and Juan C. Augusto. Proceedings of UK Software Testing Workshop, York, United Kingdom. Published by York Computer Science Yellow Report Series. 4-5 September 2003. (PDF version)
• [AugustoFGLN2003b] The Benefits of Rapid Modelling for E-Business System Development. Juan C. Augusto, Carla Ferreira, Andy M. Gravell, Michael A. Leuschel and Karen M. Y. NG. In "Conceptual Modeling for Novel Application Domains", edited by M. Jeusfeld and O. Pastor. Proceedings of 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), pp. 17-28, LNCS 2814 - Springer Verlag. Chicago, Illinois, USA. October 13-16, 2003. (PDF version)
• [Augusto99b] A Temporal Argumentative System Based on Instants and Intervals. Juan C. Augusto. In IV Dutch-German Workshop on NonMonotonic Reasoning Techniques and their Applications, DGNMR'99, Institute of Logic, Language and Computation, University of Amsterdam (Netherlands), March 25-27, 1999.
• [AugustoS98] Un sistema argumentativo temporal basado en instantes e intervalos. (A Temporal Argumentative System Based on Instants and Intervals) Juan C. Augusto and Guillermo R. Simari. In Proceedings of V Workshop Argentino sobre Aspectos Teóricos de la Inteligencia Artificial, ATIA98, pp. 1005-1019, Neuquén (Argentina), October 1998.

Technical Reports:

• [AugustoC2007] Ambient Intelligence: applications in society and opportunities for AI (Tutorial Lecture Notes), by Dr. JC Augusto and Dr. Diane Cook, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), to be held in Hyderabad, India, January 2007.
• [AugustoFGLN2003] The Benefits of Rapid Modelling for E-Business System Development. Juan C. Augusto, Carla Ferreira, Andy M. Gravell, Michael A. Leuschel and Karen M. Y. NG. Technical Report DSSE-TR-2003-1. 35 pages. University of Southampton. April 2003. Part of this work has been published as [AugustoFGLN2003b].
• [AugustoG2002a] A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. Juan Carlos Augusto and Rodolfo Gómez. Technical Report DSSE-TR-2002-7. 40 pages. University of Southampton. January 2002. Part of this work has been published as [AugustoG2002b], and [AugustoG2003]. Still, the content exceeds any of these publications.
• [AugustoB2002a] Verifying Correctness in StAC Specifications, J. C. Augusto and Michael Butler. Technical Report DSSE-TR-2002-8. 16 pages. University of Southampton. April 2002. Part of this work has been published as [AugustoB2003].
• [AugustoB2002b] Some Observations on Using SPIN and STeP to Verify StAC Specifications, J. Augusto and Michael Butler. Technical Report DSSE-TR-2002-9. 34 pages. University of Southampton. October 2002. Part of this work has been published as [AugustoB2003].
• [GaltonA2002a] Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols, A. Galton and Juan C. Augusto. Extended version of the paper presented at Time-2002. (PDF version)
• [GaltonA2001] Event detection and Event Definition., A. Galton and J. Augusto, Technical Report 401, School of Engineering and Computer Science, University of Exeter, 2001. Part of this work has been published as [GaltonA2002b].
• [GómezAG2000] Implementation and testing for a set of event detection operators, R. Gómez, J. C. Augusto and A. Galton. Research Report No. 398, School of Engineering and Computer Science, University of Exeter. 75 pages. December 2000. Part of this work has been published as [GomezAG2001].

Miscellaneous...

• [AugustoS2007a] Report on the 1st Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI06). Juan C. Augusto and Daniel Shapiro. AI Magazine, 28(1): Spring 2007, pp. 86. AAAI Press.
• [Augusto99a] Defeasible Temporal Reasoning. Juan C. Augusto. Extended Abstract of the Ph.D. thesis Razonamiento Rebatible Temporal, In Electronic Journal of the Argentine Society for Informatics and Operations Research (SADIO), volume 2 number 1, June 1999.
• [Augusto98a] Razonamiento rebatible temporal. (Defeasible Temporal Reasoning) Juan C. Augusto. Ph.D. Thesis, Dpto. de Ciencias de la Computación, Universidad Nacional del Sur, Argentina, July of 1998. Written in Spanish but, the following publications provide an English translation for the main sections: [Augusto99a], [AugustoS99] , [AugustoS2001], [Augusto2001] and [Augusto2003].
• 1993 ...1997 (9 publications related to my Ph.D. Thesis)

(Back to main page)