Laboratorio de Inteligencia Artificial (AILAB)

 Research unit

General data

Coordinator Dr. Ramón Pérez Otero
Titular de universidade
Register date 11/04/2006
Dept. assignment Computer Science
Center assignment Faculty of Computer Science
Internal code E000463

Contact

Address Universidad de A Coruña Facultad de Informática Departamento de Computación Campus de Elviña s/n 15071 A Coruña
Phone  981167000 ext. 1276
Fax  981167160
Email
Website  http://www.dc.fi.udc.es/ai/

Research scope

Research lines

Representación del conocimiento y razonamiento en sistemas dinámicos

Programación lógica

Semántica del Lenguaje Natural

Entornos de Inteligencia Artificial. Inteligencia Artificial en Medicina

Keywords Razonamiento no monótono. Formalismos de accciones; Aprendizaje automático; Semántica del Lenguaje Natural; Inteligencia Artificial en Medicina

Technology offer

Services offered

Group members

Dr. Ramón Pérez Otero
Computational Science and Artificial Intelligence
Coordinador
Manuel Cabarcos Traseira
Colaborador externo
Mario Otero Díaz
Colaborador externo
Javier Romero Dávila
Doctorando

Research results

You can browse the catalog by selecting a merit type and year.

Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Dates From 12/08/2002 to 11/08/2005

WASP.- Working Group on Answer Set Semantics

Funding entity Union Europea
Dates From 01/01/2002 to 31/12/2004

Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.

Dates From 28/12/2001 to 28/12/2004

CONVENIO DE COLABORACION ENTRE LA DIPUTACION DE LA CORUÑA Y LA UNIVERSIDAD PARA EL APOYO AL DISEÑO Y DESARROLLO DE AMPLIACIONES DE GESTION INTEGRAL PARA LA ADMINISTRACION LOCAL (GIALIX).

Funding entity DIPUTACIÓN PROVINCIAL DE A CORUÑA
Dates From 21/11/1994 to 21/02/1995

Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico

Dates From 01/01/1994 to 01/01/1994

Induction of the Indirect Effects of Actions by Monotonic Methods

Authors Ramón Pérez Otero
Journal Lecture Notes in Computer Science Vol. 3625 (pages 279 to 294)

Embracing Causality in Inducing the Effects of Actions

Authors Ramón Pérez Otero
Journal Lecture Notes in Computer Science Vol. 3040 (pages 291 to 301)

Induction of the Effects of Actions by Monotonic Methods

Authors Ramón Pérez Otero
Journal Lecture Notes in Computer Science Vol. 2835 (pages 299 to 310)

Action formalisms in Language Understanding

Authors Óscar García Trinidad, Ramón Pérez Otero
Journal LANGUAGE & COMMUNICATION Vol. 1 Num. 2 (pages 299 to 306)

Parallelization of connecitonist models based on a symbolyc formalism

Authors José Santos Reyes, Ramón Pérez Otero, Manuel Cabarcos Traseira, José Mira Mira
Journal BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY, LECTURE NOTES IN COMPUTER SCIENCE Vol. 1240 Num. - (pages 304 to 312)

Knowledge refinement of an expert system using a symbolic connectionist approach

Authors José Santos Reyes, David Lorenzo Blanco, Silvia Gómez Pose, Joaquín Heras Varela, Ramón Pérez Otero
Journal ARTIFICIAL INTELLIGENCE IN MEDICINE Vol. - Num. - (pages 516 to 520)

Introducing planning in discrete event systems

Authors José Pedro Cabalar Fernández, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira
Journal COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 146 to 159)

Integrating Medical Expert Systems, Patient-Data-Bases and User Interfaces

Authors J. Mira, R. Marín, M. Taboada, Ramón Pérez Otero
Journal JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Num. 7 (pages 261 to 285)

Actas del IV Jornadas de Bioinformática, 4th Symposium on Bioinformatics and Computational Biology

Authors Ramón Pérez Otero, Baldomero Oliva
Publishing Univerdad de A Coruña, Coruña, A (España)
ISBN 84-9749-112-2

Pertinence for causal representation of actions domanins

Autor José Pedro Cabalar Fernández
Director/s Ramón Pérez Otero
Scope Computación
Qualification Sobresaliente Cum Laude

Learning non-monotonic logic programs to reason about actions and changes

Autor David Lorenzo Blanco
Director/s Ramón Pérez Otero
Scope Computación
Qualification Sobresaliente Cum Laude

Inductive Logic Programming for Agent Control Learning in the RoboCup Soccer Simulation
CAEPIA-TTIA 2009, XIII Conferencia de la Asociación Española para la Inteligencia Artificial
International

Authors Alberto Domínguez Illobre, Álvaro García Bargo, Jorge González Iglesias, Ramón Pérez Otero, José Santos Reyes
Place Sevilla (España)

Embracing Causality in Inducing the Effects of Actions
X conferencia de la Asociación Española para Inteligencia Artificial.CAEPIA0AV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. TTIA2003
National

Authors Ramón Pérez Otero
Place España

Protein function prediction: Application of a propositional rule learning system to a set of human protein sequences.
ECCB2003 European Conference on Computational Biology
International

Authors Manuel J. Gómez, Francisco Javier Guijarro, Ramón Pérez Otero, Lars J. Jensen
Place París (Francia)

Learnig STRIPS action descriptions
Workshop Minería de Datos y Aprendizaje Automático (IBERAMIA 2002).
National

Authors David Lorenzo Blanco, Ramón Pérez Otero
Place Sevilla (España)

Learning Logic Programs for action selection in planning
3 International Workshop on Extraction of Knowledge from Databases (EKDB¿01)
International

Authors David Lorenzo Blanco, Ramón Pérez Otero
Place Oporto (Portugal)

psmodels: Stable Models Based on Pertinence
6 International Conference on Logic Programming and Nomonotonic Reasoning
International

Authors Ramón Pérez Otero
Place Viena (Austria)

A Pertinence Logic Characterization of Stable Models (preliminary report)
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
International

Authors Ramón Pérez Otero
Place San Francisco (Estados Unidos)

Induction of Stable Models
11 International Conference on Inductive Logic Programming
International

Authors Ramón Pérez Otero
Place Estrasburgo (Francia)

TKR- Tool: una solución integral para el reemplazo total de rodilla
III Congreso Nacional de Informática de la Salud INFORSALUD' 99
International

Authors Joaquín Heras Varela, Mario Otero Díaz, Ramón Pérez Otero
Place Madrid (España)

Enconding bayesian networks in a formalism for temporal expert systems
VIII Conferencia de la Asociación Española para la Inteligencia Artificial( CAEPIA- TTIA- '99)
International

Authors José Manuel Rodríguez Rodríguez, Ramón Pérez Otero
Place Murcia (España)

Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
International

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, Manuel Jose Cabarcos Traseira, David Lorenzo Blanco, David Enrique Losada Carril, Ramón Pérez Otero, Mario Otero Díaz, Silvia Gómez Pose, Raúl Ramos Pollán, José Manuel Rodríguez Rodríguez, Julio García Soto, Óscar García Trinidad
Place Murcia (España)

Using causality and actions for diagnosis( preliminary report)
IV Taller de Razonamiento Temporal
International

Authors Mario Otero Díaz, Ramón Pérez Otero
Place Murcia (España)

Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
International

Authors José Pedro Cabalar Fernández, Ramón Pérez Otero, Silvia Gómez Pose
Place Murcia (España)

Action formalisms in language understanding
Inference in Computational Semantics( ICOS- 1)
International

Authors Ramón Pérez Otero, Óscar García Trinidad
Place Amsterdam (Países Bajos)

Learning action theories as logic programs
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International

Authors Ramón Pérez Otero, David Lorenzo Blanco
Place L'Aquila (Italia)

Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
International

Authors Ramón Pérez Otero, José Pedro Cabalar Fernández
Place Estocolmo (Suecia)

Efficient concurrent simulation of DEVS Systems based on concurrent inference
7th International Workshop on Computer Aided Systems Theory and Technology 1999
International

Authors Manuel Jose Cabarcos Traseira, Ramón Pérez Otero, Silvia Gómez Pose
Place Viena (Austria)

An action and change formalism for building intensive care expert systems
Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making( AIMDM' 99)
International

Authors Mario Otero Díaz, Ramón Pérez Otero, Silvia Gómez Pose
Place Aalborg (Dinamarca)

Representing petri nets in an action based formalism
7th International Workshop on Computer Aided Systems Theory and Technology 1999
International

Authors Ramón Pérez Otero, José Manuel Rodríguez Rodríguez
Place Viena (Austria)

Learning action theories with casualty
Ninth International Workshop on Inductive Logic Programming( ILP- 99)
International

Authors David Lorenzo Blanco, Ramón Pérez Otero
Place Bled (Eslovenia)

Medtool:Hacia una solución integral para la informática médica
VII Congreso Nacional de Informática Médica. INFORMED 98
National

Authors Joaquín Heras Varela, Mario Otero Díaz, Ramón Pérez Otero, Silvia Gómez Pose
Place España

Induction in an expert system shell for dynamic domains
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International

Authors Ramón Pérez Otero, Silvia Gómez Pose, D. Lorenzo
Place París (Francia)

Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International

Authors José Pedro Cabalar Fernández, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos
Place París (Francia)

1
International Workshop on Artificial Neural Networks
International

Authors José Francisco Santos García, J. Mira, Ramón Pérez Otero
Place Málaga (España)

TKR-Tool, an expert system for total knee replacement management
AIME'95 (Fifth international conference on artificial intelligence in medicine)
International

Authors Ramón Pérez Otero, J. Heras
Place Pavia (Italia)

Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, David Lorenzo Blanco, Ramón Pérez Otero
Place Innsbruck (Austria)

Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International

Authors David Lorenzo Blanco, José Pedro Cabalar Fernández, Ramón Pérez Otero
Place Innsbruck (Austria)

Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
International

Authors David Lorenzo Blanco, José Pedro Cabalar Fernández, Ramón Pérez Otero
Place Montreal (Canadá)