- A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic
- A New Architecture for Smart Homes Based on ADB and Temporal Reasoning
- Distributed Vision-based Accident Management for Assisted Living
- Some Observations About Using SPIN and STeP to Verify StAC Specifications
- The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
- Automatic Modeling of Frequent User Behaviours in Intelligent environments
- AMBIENT INTELLIGENCE: BASIC CONCEPTS AND APPLICATIONS
- Verifying Correctness in StAC Specifications J. C. Augusto and Michael Butler
- Using Argumentation to Understand Ambiguous Situations in Intelligent
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Past, Present and Future of Ambient Intelligence and Smart Environments
- A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation
- Using Ambient Intelligence for Disaster Management
- Implementation and Testing for a Set of Event Detection Operators
- The Logical Approach to Temporal Reasoning Juan Carlos Augusto (jca@cs.uns.edu.ar)
- Stratified Causal Theories for Reasoning about Deterministic Devices and Antony Galton
- Considering Durative Activities in the Software Process J. C. Augusto S. T. Acua I. P. Maldonado M. Y. Lescano
- Using SPIN and STeP to Verify Business Processes Specifications
- Model-Based Trace-Checking Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira, Juan Carlos Augusto
- The Benefits of Rapid Modelling for E-Business System Development
- The Benefits of Rapid Modelling for E-Business System Development
- A General Framework for Reasoning About Change 1 A General Framework for Reasoning About Change
- An Algorithm to Translate PARADIGM specifications to PLTL in Polynomial Time
- Concurrent Development of Model and Implementation Andrew M. Gravell, Yvonne Howard, Juan C. Augusto, Carla Ferreira, and Stefan Gruner
- MANAGEMENT AND ANALYSIS OF TIME-RELATED DATA IN SMART HOME ENVIRONMENTS
- Towards Personalization of Services and an Integrated Service Model
- Software and Knowledge Engineering Aspects of Smart Homes Applied to Health
- Smart Homes can be Smarter Juan C. Augusto Chris D. Nugent
- Artificial Intelligence Review manuscript No. (will be inserted by the editor)
- Enhanced Healthcare Provision Through Assisted Decision-Making in a Smart Home Environment
- Ambient Intelligence: the Confluence of Ubiquitous/Pervasive Computing and Artificial
- Spatial and Temporal aspects for pattern representation and discovery in Intelligent Environments
- Management of uncertainty and spatio-temporal aspects for
- State of the Art on Night-Time Care of People with Dementia P.J. McCullagh*
- CONTEXT-AWARE AGENTS The 6Ws Architecture
- Discovering of Frequent sets of Actions in Intelligent Environments
- Learning about preferences and common behaviours of the user in
- February 20, 2010 23:9 Atlantis Press Book -9.75in x 6.5in bookDaRuan2 Intelligent Decision-Making for a Smart Home
- An Argumentative Multi-Agent System for Ambient Assisted Living
- ANYTIME-ANYWHERE STUDENT SUPPORT THROUGH VIRTUAL MENTORS
- Why Traders Need Ambient Intelligence Javier Martnez Fernndez1
- Sensors in Trading Process: A StressAware Trader Javier Martnez Fernndez
- DIALOGUE-BASED MANAGEMENT OF USER FEEDBACK IN AN AUTONOMOUS PREFERENCE LEARNING SYSTEM
- Workshop on AI Techniques for Ambient Intelligence
- Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
- Automatic translation of PARADIGM models into PLTL-based Rodolfo Sabas Gomez
- SITUATION ASSESSMENT IN DISASTER MANAGEMENT JUAN CARLOS AUGUSTO, HUI WANG, JUN LIU
- Artif Intell Rev (2010) 34:3551 DOI 10.1007/s10462-010-9160-3
- Ambient Intelligence and Smart Environments: A State of the Art
- MULTI-VALUED TEMPORAL REASONING FRAMEWORK FOR DECISION-MAKING
- International Journal of Software Engineering and Knowledge Engineering Vol. 0, No. 0 (2003) 000000
- Towards Context-aware Testing for Semantic Interoperability on PvC Environments
- Two Approaches to Event Definition Antony Galton and Juan Carlos Augusto
- Durative Events in Active Databases Rodolfo Gomez
- Fault-based Testing of E-Commerce Applications Marisa A. Sanchez1
- J.C. Augusto, S. Martin, M.D. Mulvenna, W. Carswell, H. Zheng. Holistic Night-Time Care. Gerontechnology 2010;9(2):. Assisted living systems for healthcare are being devel-
- CONSIDERATIONS ON UNCERTAIN SPATIO-TEMPORAL REASONING IN SMART HOME SYSTEMS
- Increasing Reliability in the Development of Intelligent Environments
- Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments
- AMBIENT INTELLIGENCE: OPPORTUNITIES AND CONSEQUENCES OF ITS USE IN SMART CLASSROOMS
- THE DARMSTADT CHALLENGE (the Turing Test Revisited)
- Temporal Reasoning for Decision Support in Medicine
- Using the extensible model checker XTL to verify StAC Business Specifications
- 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any c
- Autonomous Learning of User's Preferences improved through User
- Keynotes for AITAmI'06 Michael Berger (Siemens AG): "Towards Ambient Intelligence -An
- February 16, 2010 19:39 Atlantis Press Book -9.75in x 6.5in bookDaRuan2 A Many-Valued Temporal Logic and Reasoning
- Knowledge and Information Systems (2001) 3: 287318 c 2001 Springer-Verlag London Ltd.
- Preliminary Program AITAmI2006 Time Activity
- Learning Accurate Temporal Relations from User Actions in Intelligent Environments
- Inferring Adaptive Regulation Thresholds and Association Rules from Gene Expression Data
