Juan Carlos Augusto

Victor Lopez Cabrera

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

Supporting Context-Aware Engineering Based on Stream Reasoning.

[BibT_eX]

[DOI]

Dean Kramer

Proceedings of the Modeling and Using Context, 2017

Is 'Context-Aware Reasoning = Case-Based Reasoning'?

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2017

A Framework for Distributed Interaction in Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence, 2017

2016

Engineering context-aware systems and applications: A survey.

[BibT_eX]

[DOI]

Unai Alegre Ibarra

Tony Clark

J. Syst. Softw., 2016

An investigation into the efficacy of avatar-based systems for student advice.

[BibT_eX]

[DOI]

EAI Endorsed Trans. e Learn., 2016

2nd Int'l Symposium on Future Intelligent Educational Environments and Learning.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2016, 2016

Introduction to the Proceedings of WoRIE'16.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2016, 2016

7th International Workshop on Intelligent Environments Supporting Healthcare and Well-Being (WISHWell'16) - Sept. 12, 2016, London, UK.

[BibT_eX]

[DOI]

Wei Chen

Proceedings of the Intelligent Environments 2016, 2016

Co-creation of Smart Technology with (and for) People with Special Needs.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, 2016

2015

Spatial Health Systems - When Humans Move Around.

[BibT_eX]

[DOI]

Proceedings of the Smart Health - Open Problems and Future Challenges, 2015

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments.

[BibT_eX]

[DOI]

Antonio Coronato

J. Reliab. Intell. Environ., 2015

A group decision making model for partially ordered preference under uncertainty.

[BibT_eX]

[DOI]

Inf. Fusion, 2015

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach.

[BibT_eX]

[DOI]

J. Heuristics, 2015

Preface to the Second Issue.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Future Intell. Educ. Environ., 2015

eFRIEND: an ethical framework for intelligent environments development.

[BibT_eX]

[DOI]

Simon Jones

Sukhvinder Hara

Ethics Inf. Technol., 2015

Introduction to the Proceedings of SOFIEEe'15.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Developing Navigational Services for People with Down's Syndrome.

[BibT_eX]

[DOI]

Dean Kramer

Alexandra Covaci

Proceedings of the 2015 International Conference on Intelligent Environments, 2015

Introduction to the Proceedings of WoRIE'15.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Assessing Real World Imagery in Virtual Environments for People with Cognitive Disabilities.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Intelligent Environments, 2015

Advancing Ambient Assisted Living with Caution.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technologies for Ageing Well and e-Health, 2015

Developing User-centric AAL Systems.

[BibT_eX]

Proceedings of the ICT4AgeingWell 2015, 2015

Enhancing Student Support with a Virtual Assistant.

[BibT_eX]

[DOI]

Proceedings of the E-Learning, E-Education, and Online Training, 2015

A stigmergic approach to indoor localization using Bluetooth Low Energy beacons.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2015

2014

Preface.

[BibT_eX]

[DOI]

Hamid K. Aghajan

J. Ambient Intell. Smart Environ., 2014

A linguistic multi-criteria decision making approach based on logical reasoning.

[BibT_eX]

[DOI]

Inf. Sci., 2014

Flexible context aware interface for ambient assisted living.

[BibT_eX]

[DOI]

Hum. centric Comput. Inf. Sci., 2014

Preface to the Inaugural Issue.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Future Intell. Educ. Environ., 2014

Night optimised care technology for users needing assisted lifestyles.

[BibT_eX]

[DOI]

Behav. Inf. Technol., 2014

Requirements for Context-Aware Systems.

[BibT_eX]

[DOI]

Carl Evans

Lindsey Brodie

Proceedings of the Joint Proceedings of REFSQ-2014 Workshops, 2014

eFRIEND: an ethical framework for intelligent environment development.

[BibT_eX]

[DOI]

Simon Jones

Sukhvinder Hara

Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments, 2014

Temporal Reasoning for Intuitive Specification of Context-Awareness.

[BibT_eX]

[DOI]

Unai Alegre Ibarra

Asier Aztiria Goenaga

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of WoRIE'14.

[BibT_eX]

Pablo A. Haya

Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Requirements Engineering for Intelligent Environments.

[BibT_eX]

[DOI]

Carl Evans

Lindsey Brodie

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of AITAmI'14.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of WOFIEE'14.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Reflections on Ambient Intelligence Systems Handling of User Preferences and Needs.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

User-Centric Software Development Process.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

2013

Learning Frequent Behaviors of the Users in Intelligent Environments.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2013

Self-Aware Trader: A New Approach to Safer Trading.

[BibT_eX]

[DOI]

Giuseppe Trombino

J. Univers. Comput. Sci., 2013

Ordering based decision making - A survey.

[BibT_eX]

[DOI]

Inf. Fusion, 2013

Using Pattern Position Distribution for Software Failure Detection.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2013

"Intelligent Environments: a manifesto".

[BibT_eX]

[DOI]

Hum. centric Comput. Inf. Sci., 2013

Software simulation and verification to increase the reliability of Intelligent Environments.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2013

A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Introduction to the Proceedings of AITAmI'13.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 9th International Conference on Intelligent Environments, 2013

Introduction to the Proceedings of WOFIEE'13.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 9th International Conference on Intelligent Environments, 2013

An evidential reasoning based approach for decision making with partially ordered preference under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

Memories in University of Ulster.

[BibT_eX]

[DOI]

Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Personalized Smart Environments to Increase Inclusion of People with Down's Syndrome.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

Context-Aware Discovery of Human Frequent Behaviours through Sensor Information Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Human Behavior Recognition Technologies, 2013

2012

A Context and Situational aware Multi-Agent System for Ambient Assisted Living Assistance and Support.

[BibT_eX]

[DOI]

Proceedings of the Situational Awareness for Assistive Technologies, 2012

Designing More Reliable MAS-based Ambient Intelligence Systems.

[BibT_eX]

[DOI]

Proceedings of the Agents and Ambient Intelligence, 2012

Introduction to Section on Future Developments and Visions for the AAL Area.

[BibT_eX]

[DOI]

Julie Maitland

Proceedings of the Handbook of Ambient Assisted Living, 2012

Smart Homes as a Vehicle for AAL.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Ambient Assisted Living, 2012

A Sensor Technology Survey for a Stress-Aware Trading Process.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2012

Discovering frequent user-environment interactions in intelligent environments.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2012

Data and Information Quality Issues in Ambient Assisted Living Systems.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2012

A Linguistic Truth-Value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2012

A System to Reason about uncertain and Dynamic Environments.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2012

Static Verification of Wireless Sensor Networks with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Challenges for Deployment and Adoption of Pervasive and Embedded Computing in Our Society.

[BibT_eX]

Proceedings of the PECCS 2012, 2012

Multi-agent System Feedback and Support for Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

A Hybrid Method for Hand Gesture Recognition.

[BibT_eX]

[DOI]

Yu Huang

Dorothy Ndedi Monekosso

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WoRIE'12.

[BibT_eX]

Pablo A. Haya

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

A System to Learn Frequent Behavioural Patterns.

[BibT_eX]

[DOI]

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of AITAmI'12.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WISHWell'12.

[BibT_eX]

John O'Donoghue

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Using Simulation and Verification to Inform the Development of Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WOFIEE'12.

[BibT_eX]

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Knowledge discovery from activity monitoring to support independent living of people with early dementia.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2012

Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012).

[BibT_eX]

[DOI]

Tibor Bosse

Cristiano Castelfranchi

Mark A. Neerincx

Fariba Sadri

Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

2011

Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2011

Concurrent Development of Model and Implementation

[BibT_eX]

[DOI]

CoRR, 2011

Model-Based Trace-Checking

[BibT_eX]

[DOI]

CoRR, 2011

Visualization of data for ambient assisted living services.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2011

Living without a safety net in an Intelligent Environment.

[BibT_eX]

[DOI]

Julie-Ann Augusto-Walkden

Paul J. McCullagh

EAI Endorsed Trans. Ambient Syst., 2011

The Seventh International Conference on Intelligent Environments (IE 11): A Report.

[BibT_eX]

[DOI]

AI Mag., 2011

Using Models to Assess Impact of Defective Software.

[BibT_eX]

Proceedings of the IVM, FTMDD, RTSOABIS & MSVVEIS 2011, 2011

The NOCTURNAL Ambient Assisted Living system.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Pervasive Computing Technologies for Healthcare, 2011

AmI Support for the Trading Process: Self-aware Trader Model.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - Software and Applications, 2011

Design and Modelling of the Nocturnal AAL Care System.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence - Software and Applications, 2011

Safety Considerations in the Development of Intelligent Environments.

[BibT_eX]

[DOI]

Paul J. McCullagh

Proceedings of the Ambient Intelligence - Software and Applications, 2011

Facilitating Access to Educational Content through Smarter Educational Environments.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 7th International Conference on Intelligent Environments, 2011

Multi-agent Interactions for Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Intelligent Environments, 2011

A Concept Grounding Approach for Glove-Based Gesture Recognition.

[BibT_eX]

[DOI]

Yu Huang

Dorothy Ndedi Monekosso

Proceedings of the 7th International Conference on Intelligent Environments, 2011

Creating Adaptive Intelligent Environments by means of Multimodal Dialogue and Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 7th International Conference on Intelligent Environments, 2011

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

NOCTURNAL Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence, 2011

2010

Mass function derivation and combination in multivariate data spaces.

[BibT_eX]

[DOI]

Jun Liu

Inf. Sci., 2010

Learning patterns in ambient intelligence environments: a survey.

[BibT_eX]

[DOI]

Alberto Izaguirre

Artif. Intell. Rev., 2010

Sensors in trading process: A Stress - Aware Trader.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Intelligent Solutions in Embedded Systems, 2010

Why Traders Need Ambient Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence and Future Trends, 2010

Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence and Future Trends, 2010

Automatic Modeling of Frequent User Behaviours in Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Intelligent Environments, 2010

Dialogue-based Management of user Feedback in an Autonomous Preference Learning System.

[BibT_eX]

Juan Manuel Lucas-Cuesta

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Monitoring and analysis of sleep pattern for people with early dementia.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

Ambient Intelligence and Smart Environments: A State of the Art.

[BibT_eX]

[DOI]

Hideyuki Nakashima

Hamid K. Aghajan

Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009

Ambient intelligence: Technologies, applications, and opportunities.

[BibT_eX]

[DOI]

Vikramaditya R. Jakkula

Pervasive Mob. Comput., 2009

Editorial: Inaugural issue.

[BibT_eX]

[DOI]

Hamid K. Aghajan

J. Ambient Intell. Smart Environ., 2009

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XXVI, 2009

Learning about preferences and common behaviours of the user in an intelligent environment.

[BibT_eX]

[DOI]

Proceedings of the Behaviour Monitoring and Interpretation - BMI, 2009

Discovering Frequent Sets of Actions in Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2009 - Proceedings of the 5th International Conference on Intelligent Environments, 2009

Increasing Reliability in the Development of Intelligent Environments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2009 - Proceedings of the 5th International Conference on Intelligent Environments, 2009

Context-Aware Agents - The 6Ws Architecture.

[BibT_eX]

John O'Donoghue

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

The Darmstadt Challenge - The Turing Test Revisited.

[BibT_eX]

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Past, Present and Future of Ambient Intelligence and Smart Environments.

[BibT_eX]

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Using Argumentation to Understand Ambiguous Situations in Intelligent Environments.

[BibT_eX]

[DOI]

Andrés Muñoz

Juan A. Botía

Proceedings of the Ambient Intelligence Perspectives II, 2009

2008

Management of Uncertainty and Spatio-Temporal Aspects for Monitoring and Diagnosis in a Smart Home.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2008

Situation Assessment in Disaster Management.

[BibT_eX]

[DOI]

Jun Liu

Int. J. Comput. Intell. Syst., 2008

Ambient Intelligence - the Next Step for Artificial Intelligence.

[BibT_eX]

[DOI]

Carlos Ramos

Daniel G. Shapiro

IEEE Intell. Syst., 2008

Editorial.

[BibT_eX]

[DOI]

Marc Roper

Enterp. Inf. Syst., 2008

Autonomous Learning of User's Preferences Improved through User Feedback.

[BibT_eX]

[DOI]

Alberto Izaguirre

Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, 2008

2007

Inferring Adaptive Regulation Thresholds and Association Rules from Gene Expression Data through Combinatorial Optimization Learning.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2007

Towards more adequate EIS.

[BibT_eX]

[DOI]

Joseph Barjis

Ulrich Ultes-Nitsche

Sci. Comput. Program., 2007

Ambient Intelligence: Concepts and applications.

[BibT_eX]

[DOI]

Paul J. McCullagh

Comput. Sci. Inf. Syst., 2007

The First Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI '06).

[BibT_eX]

[DOI]

Daniel G. Shapiro

AI Mag., 2007

Distributed Vision-Based Accident Management for Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007

2006

Pervasive Health Management: New Challenges for Health Informatics.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.

[BibT_eX]

[DOI]

Rodolfo Sabás Gómez

Artif. Intell. Rev., 2006

Using Ambient Intelligence for Disaster Management.

[BibT_eX]

[DOI]

Jun Liu

Liming Chen

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Ambient Intelligence: Basic Concepts and Applications.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - First International Conference, 2006

Smart Homes Can Be Smarter.

[BibT_eX]

[DOI]

Chris D. Nugent

Proceedings of the Designing Smart Homes, The Role of Artificial Intelligence, 2006

2005

Temporal reasoning for decision support in medicine.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2005

Verification of Smart Homes Specifications which are based on ECA Rules.

[BibT_eX]

Proceedings of the Modelling, 2005

2004

Second International Workshop on Verification and Validation of Enterprise Information Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2004

Fault-based Testing of E-Commerce Applications.

[BibT_eX]

Marisa A. Sanchez

Miguel Felder

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Towards context-aware testing for semantic interoperability on PvC environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Durative Events in Active Databases.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

Model Checking and Theorem Proving-Based Verification of EIS.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

The Use of Temporal Reasoning and Management of Complex Events in Smart Homes.

[BibT_eX]

Chris D. Nugent

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003).

[BibT_eX]

[DOI]

Marc Roper

Softw. Test. Verification Reliab., 2003

A General Framework for Reasoning about Change.

[BibT_eX]

[DOI]

New Gener. Comput., 2003

A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2003

Model-Based Approaches for Validating Business Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using SPIN and STeP to Verify Business Processes Specifications.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

The Benefits of Rapid Modelling for E-business System Development.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

2002

Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.

[BibT_eX]

[DOI]

Antony Galton

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A temporal logic view of paradigm models.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Considering Durative Activities in the Software Process.

[BibT_eX]

Silvia Teresita Acuña

Ivanna Paola Maldonado

M. Y. Lezcano

Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), 2002

Two Approaches to Event Definition.

[BibT_eX]

[DOI]

Antony Galton

Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001

Temporal Defeasible Reasoning.

[BibT_eX]

[DOI]

Guillermo Ricardo Simari

Knowl. Inf. Syst., 2001

The Logical Approach to Temporal Reasoning.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2001

Testing an Event Specification Language.

[BibT_eX]

Antony Galton

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Una Formalización de la Dinámica del Proceso de Desarrollo de Software.

[BibT_eX]

Silvia Teresita Acuña

Mariela Lescano

Ivanna Paola Maldonado

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

2000

Testing an Implementation of a Temporal Logic Language.

[BibT_eX]

[DOI]

Marisa A. Sanchez

Proceedings of the 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 2000

1999

A Temporal Argumentative System.

[BibT_eX]

[DOI]

Guillermo Ricardo Simari

AI Commun., 1999

EMTPL: A Programming Language for Temporal Deductive Data Bases.

[BibT_eX]

[DOI]

Maria Laura Cobo