| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti, Alberto Izaguirre, Diane J. Cook |
Discovering frequent user-environment interactions in intelligent environments.  |
Personal and Ubiquitous Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Michael Huch, Achilles Kameas, Julie Maitland, Paul J. McCullagh, Jean Roberts, Andrew Sixsmith, Reiner Wichert (eds.) |
Handbook of Ambient Assisted Living - Technology for Healthcare, Rehabilitation and Well-being |
|
2012 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Julie Maitland |
Introduction to Section on Future Developments and Visions for the AAL Area. |
Handbook of Ambient Assisted Living |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Michael Huch, Achilles Kameas, Julie Maitland, Paul J. McCullagh, Jean Roberts, Andrew Sixsmith, Reiner Wichert |
Fake entry for checking the editors! |
Handbook of Ambient Assisted Living |
2012 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Smart Homes as a Vehicle for AAL. |
Handbook of Ambient Assisted Living |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Muñoz, Juan Carlos Augusto, Ana Villa, Juan A. Botía |
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. |
Personal and Ubiquitous Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice D. Mulvenna, William Carswell, Paul J. McCullagh, Juan Carlos Augusto, Huiru Zheng, W. Paul Jeffers, Haiying Wang, Suzanne Martin |
Visualization of data for ambient assisted living services. |
IEEE Communications Magazine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner |
Concurrent Development of Model and Implementation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto |
Model-Based Trace-Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Sean Hanna, Achilles Kameas, Ahmad Lotfi |
The Seventh International Conference on Intelligent Environments (IE 11): A Report. |
AI Magazine |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Paul J. McCullagh, Julie-Ann Augusto-Walkden |
Living without a safety net in an Intelligent Environment. |
ICST Trans. Ambient Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuwei Chen, Jun Liu, Hui Wang 0001, Juan Carlos Augusto |
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. |
ECSQARU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Paul J. McCullagh |
Safety Considerations in the Development of Intelligent Environments. |
ISAmI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Huiru Zheng, Maurice D. Mulvenna, Haiying Wang, William Carswell, W. Paul Jeffers |
Design and Modelling of the Nocturnal AAL Care System. |
ISAmI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid |
AmI Support for the Trading Process: Self-aware Trader Model. |
ISAmI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James McNaull, Juan Carlos Augusto, Maurice D. Mulvenna, Paul J. McCullagh |
Multi-agent Interactions for Ambient Assisted Living. |
Intelligent Environments |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Huang, Dorothy Ndedi Monekosso, Hui Wang, Juan Carlos Augusto |
A Concept Grounding Approach for Glove-Based Gesture Recognition. |
Intelligent Environments |
2011 |
DBLP DOI BibTeX RDF |
concept grounding, gesture recognition, clustering ensembles, data glove |
| 1 | Juan Carlos Augusto, Hamid K. Aghajan, Victor Callaghan, Diane J. Cook, John O'Donoghue, Simon Egerton, Michael Gardner, Brian David Johnson, Yevgeniya Kovalchuk, Ramón López-Cózar, Peter Mikulecký, Jason W. P. Ng, Ronald Poppe, Minjuan Wang, Victor Zamudio (eds.) |
Workshop Proceedings of the 7th International Conference on Intelligent Environments, IE 2011, Nottingham, United Kingdom, July 25-28, 2011 |
Intelligent Environments (Workshops) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gonzalo Espejo, Asier Aztiria, Juan Carlos Augusto, Ramón López-Cózar |
Creating Adaptive Intelligent Environments by means of Multimodal Dialogue and Learning Systems. |
Intelligent Environments (Workshops) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian David Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid K. Aghajan, Ben J. A. Kröse (eds.) |
Ambient Intelligence - Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings |
AMI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, William Carswell, Huiru Zheng, Maurice D. Mulvenna, Suzanne Martin, Paul J. McCullagh, Haiying Wang, Jonathan G. Wallace, W. Paul Jeffers |
NOCTURNAL Ambient Assisted Living. |
AmI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, George Wilkie, Hui Wang, Jun Liu, Chunping Li |
Using Models to Assess Impact of Defective Software. |
IVM/FTMDD/RTSOABIS/MSVVEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | William Carswell, Juan Carlos Augusto, Maurice D. Mulvenna, Jonathan G. Wallace, Suzanne Martin, Paul J. McCullagh, Huiru Zheng, Haiying Wang, Kevin McSorley, Barbara Taylor, W. Paul Jeffers |
The NOCTURNAL Ambient Assisted Living system. |
PervasiveHealth |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hui Wang 0001, Jun Liu, Juan Carlos Augusto |
Mass function derivation and combination in multivariate data spaces. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Asier Aztiria, Alberto Izaguirre, Juan Carlos Augusto |
Learning patterns in ambient intelligence environments: a survey. |
Artif. Intell. Rev. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Juan M. Corchado, Paulo Novais, Cesar Analide (eds.) |
Ambient Intelligence and Future Trends - International Symposium on Ambient Intelligence (ISAmI 2010), Guimarães, Portugal, 16-18 June 2010 |
ISAmI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti, Alberto Izaguirre |
Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments. |
ISAmI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid |
Why Traders Need Ambient Intelligence. |
ISAmI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramón López-Cózar, Hamid K. Aghajan, Juan Carlos Augusto, Diane J. Cook, John O'Donoghue, Victor Callaghan, Simon Egerton, Brian David Johnson (eds.) |
Workshops Proceedings of the 6th International Conference on Intelligent Environments, Kuala Lumpur, Malaysia, 18-19 July 2010 |
Intelligent Environments (Workshops) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan Manuel Lucas-Cuesta, Javier Ferreiros, Asier Aztiria, Juan Carlos Augusto, Michael F. McTear |
Dialogue-based Management of user Feedback in an Autonomous Preference Learning System. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Diane J. Cook, Juan Carlos Augusto, Vikramaditya R. Jakkula |
Ambient intelligence: Technologies, applications, and opportunities. |
Pervasive and Mobile Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Editorial: Inaugural issue. |
JAISE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto |
Preface. |
JAISE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Hamid K. Aghajan |
Preface. |
JAISE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang 0001 |
A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. |
SGAI Conf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Schneider 0003, Alexander Kröner, Julio C. Encinas Alvarado, Andrés García Higuera, Juan Carlos Augusto, Diane J. Cook, Veikko Ikonen, Pavel Cech, Peter Mikulecký, Achilles Kameas, Victor Callaghan (eds.) |
Workshops Proceedings of the 5th International Conference on Intelligent Environments, Barcelona, Spain, 19th of July, 2009 |
Intelligent Environments (Workshops) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto, Diane J. Cook |
Discovering Frequent Sets of Actions in Intelligent Environments. |
Intelligent Environments |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Increasing Reliability in the Development of Intelligent Environments. |
Intelligent Environments |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrés Muñoz, Juan A. Botía, Juan Carlos Augusto |
Using Argumentation to Understand Ambiguous Situations in Intelligent Environments. |
AMIF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, John O'Donoghue |
Context-Aware Agents - The 6Ws Architecture. |
ICAART |
2009 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Past, Present and Future of Ambient Intelligence and Smart Environments. |
ICAART |
2009 |
DBLP BibTeX RDF |
|
| 1 | Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto |
Learning about preferences and common behaviours of the user in an intelligent environment. |
BMI Book |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Marc Roper |
Editorial. |
Enterprise IS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Ramos, Juan Carlos Augusto, Daniel Shapiro |
Ambient Intelligencethe Next Step for Artificial Intelligence. |
IEEE Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
incompleteness and uncertainty, data mining, neural networks, machine learning, human-computer interaction, computer vision, artificial intelligence, robots, knowledge representation, natural language processing, knowledge-based systems, multiagent systems, speech recognition, intelligent agents, planning, ambient intelligence |
| 1 | Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008 |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Asier Aztiria, Juan Carlos Augusto, Alberto Izaguirre |
Autonomous Learning of User's Preferences Improved through User Feedback. |
BMI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Paul J. McCullagh |
Ambient Intelligence: Concepts and applications. |
Comput. Sci. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche |
Towards more adequate EIS. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Daniel Shapiro |
The First Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI '06). |
AI Magazine |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007 |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hamid K. Aghajan, Juan Carlos Augusto, Chen Wu, Paul J. McCullagh, Julie-Ann Walkden |
Distributed Vision-Based Accident Management for Assisted Living. |
ICOST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Norman D. Black, H. Gerry McAllister, Paul J. McCullagh, Chris D. Nugent |
Pervasive Health Management: New Challenges for Health Informatics. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rodolfo Sabás Gómez, Juan Carlos Augusto |
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states. |
Artif. Intell. Rev. |
2006 |
DBLP DOI BibTeX RDF |
Temporal deductive databases, Temporal relational databases, Knowledge representation, Temporal logic |
| 1 | Juan Carlos Augusto |
Ambient intelligence: Basic concepts and applications. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Jun Liu, Liming Chen |
Using Ambient Intelligence for Disaster Management. |
KES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006 |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Chris D. Nugent (eds.) |
Designing Smart Homes, The Role of Artificial Intelligence |
Designing Smart Homes |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Chris D. Nugent |
Smart Homes Can Be Smarter. |
Designing Smart Homes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Temporal reasoning for decision support in medicine. |
Artificial Intelligence in Medicine |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005 |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Verification of Smart Homes Specifications which are based on ECA Rules. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Second International Workshop on Verification and Validation of Enterprise Information Systems. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rodolfo Gómez, Juan Carlos Augusto |
Durative Events in Active Databases. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
Model Checking and Theorem Proving-Based Verification of EIS. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea |
Towards context-aware testing for semantic interoperability on PvC environments. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Chris D. Nugent |
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder |
Fault-based Testing of E-Commerce Applications. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.) |
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004 |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Rodolfo Gómez |
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. |
International Journal of Software Engineering and Knowledge Engineering |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Marc Roper |
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003). |
Softw. Test., Verif. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto |
A General Framework for Reasoning about Change. |
New Generation Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig |
Using SPIN and STeP to Verify Business Processes Specifications. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel |
Model-Based Approaches for Validating Business Critical Systems. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng |
The Benefits of Rapid Modelling for E-business System Development. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro T. Isaías, Florence Sedes, Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.) |
New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003 |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Antony Galton, Juan Carlos Augusto |
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | André Carlos Ponce Leon Ferreira de Carvalho, José Carlos Maldonado, Juan Carlos Augusto, Manoel Gomes de Mendonça Neto, Silvia Teresita Acuña (eds.) |
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002 |
JIISIC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Silvia Teresita Acuña, Ivanna Paola Maldonado, M. Y. Lezcano |
Considering Durative Activities in the Software Process. |
JIISIC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Rodolfo Gómez |
A temporal logic view of paradigm models. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
verification, temporal logic, paradigm |
| 1 | Antony Galton, Juan Carlos Augusto |
Two Approaches to Event Definition. |
DEXA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Guillermo Ricardo Simari |
Temporal Defeasible Reasoning. |
Knowl. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Knowledge representation, Temporal reasoning, Defeasible reasoning |
| 1 | Juan Carlos Augusto |
The Logical Approach to Temporal Reasoning. |
Artif. Intell. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Teresita Acuña, Juan Carlos Augusto, Mariela Lescano, Ivanna Paola Maldonado |
Una Formalización de la Dinámica del Proceso de Desarrollo de Software. |
JIISIC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rodolfo Gómez, Juan Carlos Augusto, Antony Galton |
Testing an Event Specification Language. |
SEKE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marisa A. Sanchez, Juan Carlos Augusto |
Testing an Implementation of a Temporal Logic Language. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors |
| 1 | Juan Carlos Augusto, Guillermo Ricardo Simari |
A Temporal Argumentative System. |
AI Commun. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Maria Laura Cobo, Juan Carlos Augusto |
EMTPL: A Programming Language for Temporal Deductive Data Bases. |
SCCC |
1999 |
DBLP DOI BibTeX RDF |
Deductive Data Bases, Programming Languages, Metric Temporal Logic |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")