Knowledge Representation and Reasoning for Dynamic Systems.
Nonmonotonic Reasoning, Action Formalisms, Logic Programming, Inductive Logic Programming, Model-Based Diagnosis, Temporal Constraints, Natural Language Semantics, AI Environments, AI in Medicine.
Current focus on causality in action formalisms, answer set programming, induction under non-monotonic formalisms, and its application to protein structure and function prediction. Theoretical tools include a causal logic of dynamic systems (Pertinence Logic) and algorithms for automated reasoning. Induction under answer set semantics and induction of action descriptions.
Board of the Spanish Association for Artificial Intelligence, AEPIA. Representative at the ECCAI General Assembly, the European Coordinating Committee for Artificial Intelligence. Member of AAAI, ACM, ACL. Adviser of the Spanish National Science Agency for Evaluation (ANEP). Editorial Board of Inteligencia Artificial, journal of the Spanish Association for AI. Organization Chair of the Spanish Conference on Computational Biology, JBI-03. Program Chair of the Spanish Conference on Artificial Intelligence, CAEPIA-01. Program Chair of the Spanish Workshop on Temporal Reasoning, TARRAT-99. Program Committee of ILP-04, JELIA-04, LPNMR-04, JBI-04, ASP-03, CAEPIA-03, EPIA-01, CAEPIA-99, CAEPIA-97. Reviewer of TPLP, TOCL, IJCAI-03, NMR-2000. Visiting Associate Professor of the Dept. of Computer Science, University of Texas at El Paso (UTEP), Spring 2000. Member of the Texas Action Group. Head of the Artificial Intelligence Laboratory. Director of the Medtool project.
R. P. Otero. Embracing Causality in Inducing the Effects of Actions , in Selection of papers from the 10th Conference of the Spanish Association for Artificial Intelligence, LNAI 3040:291-301, Springer, 2004.
R. P. Otero. Induction of the Effects of Actions by Monotonic Methods , in Proceedings of 13th Int. Conference on Inductive Logic Programming, ILP-03, LNAI 2835:299-310, Springer, 2003.
R. P. Otero. Induction of Stable Models , in Proceedings of 11th Int. Conference on Inductive Logic Programming, ILP-01, 193-205, LNAI 2157, Springer, Strasbourg 2001.
R. P. Otero. A Pertinence Logic Characterization of Stable Models , Answer Set Programming, ASP-01, AAAI Spring 2001 Symposium, 153-159, SS-01-01, AAAI Press, Stanford, CA 2001.
P. Cabalar, R. P. Otero and S. Pose. Temporal Constraint Networks in Action , in Proceedings of 14th European Conference on Artificial Intelligence, ECAI-00, 543-547, IOS Press, Berlin 2000.
D. Lorenzo and R. P. Otero. Learning to Reason about Actions , in Proceedings of 14th European Conference on Artificial Intelligence, ECAI-00, 316-320, IOS Press, Berlin 2000.
M. Otero and R. P. Otero. Using Causality for Diagnosis , in Proceedings of 11th Int. Workshop on Principles of Diagnosis, DX-00, 171-176, Morelia, Mexico 2000.
R. P. Otero and O. G. Trinidad. Action Formalisms in Language Understanding , J. of Language and Computation, 1(2), 299-306, 2000, (preliminary version ICOS-99, Amsterdam 1999).
R. P. Otero and P. Cabalar. Pertinence and Causality , in Working Notes of 3rd Workshop on Nonmonotonic Reasoning, Action, and Change, NRAC, IJCAI-99, 111-119, Stockholm 1999.
R. P. Otero. Pertinence Logic for Reasoning about Actions and Change , Tech. Report TR-AI-97-03, AILab, University of Corunna, 1997.
The Medtool Project
The Medtool project,
is a practical AI environment for dynamic systems, that I designed and
implemented years ago.
There are practical applications in dynamic domains, mainly in Medicine.
Notes about Galicia. A few words about my country, Galicia.
Copyright © Ramon P. Otero. All rights reserved.
Artificial Intelligence Laboratory, Department of Computer Science, University of Corunna, Galicia, SPAIN.