| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Information Retrieval Lab |
| Líneas de investigación | Inteligencia Artificial, Representación del Conocimiento, Lógica, Razonamiento no Monótono, Programación Lógica, Answer Set Programming |
| Palabras clave | Inteligencia Artificial, Representación del Conocimiento, Lógica, Razonamiento no Monótono, Programación Lógica, Answer Set Programming |
| Contacto | Directorio de la UDC |
| Orcid id0000-0001-7440-0953 ResearcherIDAAE-5198-2020 Scopus55887725900 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Lógica | Formación básica | 0 | 4 |
| Razonamiento y Planificación | Obligatorio | 0 | 21 |
| Representación del Conocimiento y Razonamiento | Obligatorio | 0 | 30 |
| Representación del Conocimiento y Razonamiento Automático | Optativo | 0 | 28 |
| Trabajo de Fin de Máster | Obligatorio | 0 | 0 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Conocimiento y Razonamiento con Incertidumbre
Máster Universitario en Inteligencia Artificial
|
Optativo | 0 | 3,5 |
|
Lógica
Grado en Inteligencia Artificial
|
Formación básica | 0 | 10 |
|
Minería de Textos
Máster Universitario en Inteligencia Artificial
|
Optativo | 0 | 0 |
|
Razonamiento y Planificación
Máster Universitario en Inteligencia Artificial
|
Obligatorio | 0 | 21 |
|
Representación del Conocimiento y Razonamiento
Grado en Inteligencia Artificial
|
Obligatorio | 0 | 30 |
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 28 |
|
Sistemas Inteligentes de Tiempo Real
Máster Universitario en Inteligencia Artificial
|
Optativo | 0 | 0 |
|
Trabajo de Fin de Máster
Máster Universitario en Inteligencia Artificial
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 2 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 1 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Conocimiento y Razonamiento con Incertidumbre
Máster Universitario en Inteligencia Artificial
|
Optativo | 0 | 3,5 |
|
Lógica
Grado en Inteligencia Artificial
|
Formación básica | 0 | 15 |
|
Razonamiento y Planificación
Máster Universitario en Inteligencia Artificial
|
Obligatorio | 0 | 21 |
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 35 |
|
Sistemas Inteligentes de Tiempo Real
Máster Universitario en Inteligencia Artificial
|
Optativo | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 12 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 10 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Algoritmos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Análisis de Sistemas de Información
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 36 |
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 28 |
|
Sistemas Operativos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 53 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 21 |
|
Sistemas Operativos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 23 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Representación del Conocimiento y Razonamiento Automático
Grado en Ingeniería Informática
|
Optativo | 0 | 28 |
|
Sistemas Operativos
Grado en Ingeniería Informática
|
Obligatorio | 0 | 43 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
martes
10:00 a 13:00 |
Despacho 4.11 |
| Primer cuatrimestre |
miércoles
10:00 a 13:00 |
Despacho 4.11 |
Dirigidos o codirigidos por el/la docente desde el año 2013.
| Algoritmo de minimización para árboles de decisión aplicado a explicabilidad |
| Desarrollo de sistema de resolución de rompecabezas en ASP mediante el uso de LLM |
| Resolución de programas Lógicos Temporales con Planificadores IA |
| Un procesador de expresiones epistémicas en programas lógicos |
| Generación de Escenarios de un Videojuego 2D mediante Programación Lógica |
| Sistema de apoyo a la decisión basado en reglas parra transplantes de hígado |
| Herramienta para armonización musical mediante Answer Set Programming |
| Un sistema de tipado para Answer Set programming con funcións. |
| Una herramienta de planificación para programas lógicos temporales |
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
Generación de Explicaciones en Sistemas Inteligentes Híbridos para Asegurar la Fiabilidad
| Entidad financiadora | AEI, Agencia Estatal de Investigación |
| Investigadores principales | Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2) |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/09/2024 a 31/08/2028 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022
| Entidad financiadora | Consellería de Educación |
| Investigadores principales | Álvaro Barreiro García |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2022 a 20/11/2024 |
Razonamiento Automático y Aprendizaje con Inducción de Conocimiento
| Entidad financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principales | Pedro Cabalar Fernández/ José Santos Reyes |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/09/2021 a 31/08/2024 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC
| Entidad financiadora | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
| Investigadores principales | ÁLVARO BARREIRO GARCÍA |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2019 a 20/11/2021 |
RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | Pedro Cabalar Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2018 a 31/12/2020 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2018 a 31/12/2020 |
MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2014 a 31/12/2016 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
| Entidad financiadora | Ministerio de Economía y Competitividad |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/2010 a 31/12/2013 |
FEAST: Foundations and Extensions of Answer Set Programming Technology
| Entidad financiadora | Ministerio de Ciencia e Innovación |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/10/2009 a 30/09/2012 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
| Entidad financiadora | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/2008 a 31/10/2011 |
Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Pedro Cabalar |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/10/2008 a 30/08/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
| Entidad financiadora | Ministerio de Educación y Ciencia |
| Investigadores principales | José Pedro Cabalar Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/10/2006 a 30/09/2009 |
DELIA: deduction and programming in non-classical logics for knowledge technology
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | David Pearce |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2004 a 31/12/2006 |
Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)
| Entidad financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 12/08/2002 a 11/08/2005 |
Working Group on Answer Set Programming
| Entidad financiadora | Unión Europea (red de investigación) |
| Investigadores principales | Alessandro Provetti |
| Tipo | Proyecto UE |
| Fechas | Desde 15/09/2002 a 14/03/2005 |
Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 28/12/2001 a 28/12/2004 |
Un lenguaje declarativo basado en causalidad: aplicación a diferentes problemas de razonamiento
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 28/12/2001 a 27/12/2004 |
Sistema de Razonamiento Automático sobre Dominios Dinámicos
| Entidad financiadora | Ministerio de Educación y Cultura |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/1999 a 31/12/2001 |
Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/1996 a 31/01/1998 |
Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿
| Entidad financiadora | Diputación de A Coruña (convenio de colaboración) |
| Investigadores principales | José Luis Freire Nistal |
| Tipo | Contrato |
| Fechas | Desde 01/08/1996 a 30/04/1997 |
Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ramón Pérez Otero |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/1994 a 31/12/1995 |
Equilibrium Graphs
| Autores | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
| Revista | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates
| Autores | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Temporal Answer Set Programming on Finite Traces
| Autores | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Answer Set Programming from a Logical Point of View
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | Künstliche Intelligenz |
Verification for ASP denotational semantics: A case study using the PVS theorem prover
| Autores | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Revista | LOGIC JOURNAL OF THE IGPL Vol. 25 Núm. 2 (págs. 195 a 213) |
| DOI | https://doi.org/10.1093/jigpal/jzw060 |
Temporal logic programs with variables
| Autores | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 2 (págs. 226 a 243) |
| DOI | https://doi.org/10.1017/s1471068416000570 |
Temporal Equilibrium Logic with past operators
| Autores | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Revista | Journal of Applied Non-Classical Logics Vol. 27 Núm. 3-4 (págs. 161 a 177) |
| DOI | https://doi.org/10.1080/11663081.2018.1427987 |
Enablers and Inhibitors in Causal Justifications of Logic Programs
| Autores | Pedro Cabalar, Jorge Fandinno |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 1 (págs. 49 a 74) |
Stable Reasoning
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | Journal of Applied Non-Classical Logics Vol. 27 Núm. 3-4 (págs. 238 a 254) |
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
| Autores | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (págs. 624 a 636) |
haspie - A Musical Harmonisation Tool based on ASP
| Autores | Pedro Cabalar, Rodrigo Martín |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (págs. 637 a 642) |
A Qualitative Spatial Representation of String Loops as Holes
| Autores | Pedro Cabalar, Paulo E. Santos |
| Revista | Artificial Intelligence Vol. 238 (págs. 1 a 10) |
Justifications for Programs with Disjunctive and Causal-choice Rules
| Autores | Pedro Cabalar, Jorge Fandinno |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Núm. 5-6 (págs. 587 a 603) |
Framing Holes within a Loop Hierarchy
| Autores | Paulo E. Santos, Pedro Cabalar |
| Revista | SPATIAL COGNITION AND COMPUTATION Vol. 16 Núm. 1 (págs. 54 a 95) |
An infinitary encoding of equilibrium logic
| Autores | Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (págs. 666 a 680) |
A denotational semantics for equilibrium logic
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (págs. 620 a 634) |
| DOI | https://doi.org/10.1017/s1471068415000277 |
Stable Models for Temporal Theories - Invited Talk
| Autores | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (págs. 1 a 13) |
Explaining preferences and preferring explanations
| Autores | Pedro Cabalar, Jorge Fandinno |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (págs. 218 a 232) |
Causal Graph Justifications of Logic Programs
| Autores | Pedro Cabalar, Jorge Fandinno, Michael Fink |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Núm. 4-5 (págs. 603 a 618) |
| DOI | https://doi.org/10.1017/s1471068414000234 |
A Complexity Assessment for Queries involving Sufficient and Necessary Causes
| Autores | Pedro Cabalar, Jorge Fandinno, Michael Fink |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (págs. 297 a 319) |
A Free Logic for Stable Models with Partial Intensional Functions
| Autores | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (págs. 340 a 354) |
Temporal Equilibrium Logic: a survey
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro |
| Revista | Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (págs. 2 a 24) |
| DOI | https://doi.org/10.1080/11663081.2013.798985 |
Foreword
| Autores | Pedro Cabalar, Agustín Valverde |
| Revista | Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (págs. 1 a 1) |
Loop Formulas for Splitable Temporal Logic Programs
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (págs. 80 a 92) |
| DOI | https://doi.org/10.1007/978-3-642-20895-9_9 |
Formalising the Fisherman's Folly puzzle
| Autores | Pedro Cabalar, Santos, Paulo E. |
| Revista | Artificial Intelligence Vol. 175 Núm. 1, SI (págs. 346 a 377) |
| DOI | https://doi.org/10.1016/j.artint.2010.04.004 |
A logical characterisation of ordered disjunction
| Autores | Pedro Cabalar |
| Revista | AI COMMUNICATIONS Vol. 24 Núm. 2 (págs. 165 a 175) |
| DOI | https://doi.org/10.3233/aic-2011-0494 |
Functional answer set programming
| Autores | Pedro Cabalar |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Núm. 2-3 (págs. 203 a 233) |
| DOI | https://doi.org/10.1017/s1471068410000517 |
STeLP - a Tool for Temporal Answer Set Programming
| Autores | Pedro Cabalar, Martín Diéguez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (págs. 370 a 375) |
Automata-based Computation of Temporal Equilibrium Models
| Autores | Pedro Cabalar, Stephane Demri |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (págs. 57 a 72) |
A Normal Form for Linear Temporal Equilibrium Logic
| Autores | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (págs. 64 a 76) |
A Revised Concept of Safety for General Answer Set Programs
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (págs. 58 a 70) |
Safety Preserving Transformations for General Answer Set Programs
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (págs. 58 a 70) |
Strongly equivalent temporal logic programs
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (págs. 8 a 20) |
Partial Functions and Equality in Answer Set Programming
| Autores | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (págs. 392 a 406) |
The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology
| Autores | Paulo E. Santos, Pedro Cabalar |
| Revista | SPATIAL COGNITION AND COMPUTATION Vol. 8 (págs. 47 a 64) |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
| Autores | Pedro Cabalar, David Pearce, Panos Rondogiannis, William Wadge |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (págs. 44 a 57) |
Minimal Logic Programs
| Autores | Pedro Cabalar, Gilberto Pérez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (págs. 104 a 118) |
Partial Equilibrium Logic
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde |
| Revista | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (págs. 305 a 331) |
Propositional Theories are Strongly Equivalent to Logic Programs
| Autores | Pedro Cabalar, Paolo Ferraris |
| Revista | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Núm. 6 (págs. 745 a 759) |
Temporal Equilibrium Logic: a first approach
| Autores | Pedro Cabalar, Gilberto Pérez |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 241 a 248) |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (págs. 346 a 360) |
On the Logic and Computation of Partial Equilibrium Models
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (págs. 82 a 94) |
Strings and holes: an exercise on spatial representation and reasoning
| Autores | Pedro Cabalar, Paulo Eduardo Santos |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (págs. 419 a 429) |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (págs. 592 a 601) |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (págs. 4 a 17) |
Logic programs with functions and default values
| Autores | Pedro Cabalar, David Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (págs. 294 a 306) |
A Rewriting Method for Well-Founded Semantics with Explicit Negation
| Autores | Pedro Cabalar |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Núm. - (págs. 378 a 392) |
Introducing planning in discrete event systems
| Autores | Pedro Cabalar, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira |
| Revista | COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Núm. - (págs. 146 a 159) |
Discrete event simulation in an environment for temporal expert systems
| Autores | Álvaro Barreiro García, Pedro Cabalar, P. Otero, D. Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Núm. - (págs. 271 a 286) |
Automatic induction of DEVS Structures
| Autores | Pedro Cabalar, P. Otero, D. Lorenzo |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Núm. - (págs. 305 a 313) |
Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)
| Editores | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce |
| Editorial | Taylor and Francis, (España) |
| ISBN | 1166-308 |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013
| Editores | Pedro Cabalar, Tran Cao Son |
| Editorial | Springer, (España) |
| ISBN | 978-3-642-40563-1 |
"Equilibrium Logic and Answer Set Programming", special issue of the Journal of Applied Non-Classical Logics 23(1-2)
| Editorial | Taylor and Francis, (España) |
| ISBN | 1166-3081 |
Causal Logic Programming" in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Esra Er
| Autores | Pedro Cabalar |
| Libro |
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz Edita Springer - Verlag. ISBN: SBN 978-3-642-30743-0 |
| Páginas | De la 102 a la 116 |
Answer Set; Programming?
| Autores | Pedro Cabalar |
| Libro |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday) Vol. 1 Edita Springer. ISBN: 978-3-642-20831-7 |
| Páginas | De la 334 a la 343 |
Generating commonsense explanations with Answer Set Programming
| Autor | Brais Muñiz Castro |
| Director/es | José Pedro Cabalar Fernández; Gilberto Pérez Vega |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Temporal answer set programming
| Autor | Martín Diéguez Lodeiro |
| Director/es | José Pedro Cabalar Fernández |
| Ámbito | Computación |
| Calificación | Sobresaliente Cum Laude |
A casual semantics for logic programming
| Autor | Jorge Fandiño García |
| Director/es | José Pedro Cabalar Fernández |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Introducing Temporal Stable Models for Linear Dynamic Logic
16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
Internacional
| Autores | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
| Organizador | KR org |
| Lugar | Tempe, Arizona (Estados Unidos) |
Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
Internacional
| Autores | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
| Lugar | Espoo (Finlandia) |
Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
Internacional
| Autores | Stefania Costantini, Andrea Formisano, Pedro Cabalar |
| Lugar | Espoo (Finlandia) |
Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
Internacional
| Autores | Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez |
| Lugar | New York (Estados Unidos) |
Formal verification for ASP: a case study using the PVS theorem prover
CMMSE 2015 (15th Int. Conf. on Computational and Mathematical Methods in Science and Engineering
Internacional
| Autores | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Lugar | Rota (España) |
An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
Internacional
| Autores | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
| Organizador | AAAI |
| Lugar | New York (Estados Unidos) |
Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
Internacional
| Autores | Pedro Cabalar, Martín Diéguez |
| Lugar | Viena (Austria) |
Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
Internacional
| Autores | Pedro Cabalar, Martín Diéguez |
| Lugar | Viena (Austria) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
Internacional
| Autores | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
| Lugar | Coruña, A (España) |
An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
Internacional
| Autores | Pedro Cabalar, Jorge Fandinno |
| Lugar | Estambul (Turquía) |
An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
Internacional
| Autores | Paulo E. Santos, Pedro Cabalar |
| Lugar | Roma (Italia) |
Paving the way for temporal grounding
28th International Conference on Logic Programming
ICLP 2012
Internacional
| Autores | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
| Organizador | International Conference on Logic Programming ICLP |
| Lugar | Budapest (Hungría) |
Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
Internacional
| Autores | Paulo E. Santos, Pedro Cabalar |
| Organizador | EurAI |
| Lugar | Montpellier (Francia) |
An Experiment on Tabled Evaluation for Hidden Predicates
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11) (inside LPNMR'11)
Internacional
| Autores | Pedro Cabalar, Martín Diéguez |
| Lugar | Vancouver (Canadá) |
Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
Internacional
| Autores | Pedro Cabalar |
| Lugar | Palo Alto (Estados Unidos) |
Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
Internacional
| Autores | Pedro Cabalar |
| Lugar | Espoo (Finlandia) |
Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
Internacional
| Autores | Pedro Cabalar, David Pearce, Agustín Valverde |
| Lugar | Cohimbra (Portugal) |
Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
Internacional
| Autores | Pedro Cabalar |
| Lugar | Potsdam (Alemania) |
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
Internacional
| Autores | Paulo Santos, Pedro Cabalar |
| Lugar | Palo Alto, CA (Estados Unidos) |
Passing through Holes and Getting Entangled by Strings: An Automated Solution for a Spatial Puzzle
ECAI 2006 - 17th European Conference on Artificial Intelligence: Workshop on Spatial and Temporal Reasoning
Internacional
| Autores | Paulo Eduardo Santos, Pedro Cabalar |
| Lugar | Riva del Garda (Italia) |
Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
Internacional
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Lugar | Windermere, Lake District (Reino Unido) |
A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
Internacional
| Autores | Pedro Cabalar |
| Lugar | Bath (Reino Unido) |
A logic for reasoning about well-founded semantics: preliminary report
CAEPIA 2005. XI Conferencia de la Asociación Española pra la Inteligencia Artificial
Nacional
| Autores | Pedro Cabalar, Sergei Odintsov, David Pearce |
| Lugar | Santiago de Compostela (España) |
New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
Internacional
| Autores | Pedro Cabalar, David Lorenzo |
| Lugar | Valencia (España) |
Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
Internacional
| Autores | Pedro Cabalar, David Lorenzo Blanco |
| Organizador | Universidad Rey Juan Carlos |
| Lugar | España |
A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
Internacional
| Autores | Pedro Cabalar |
| Lugar | Stanford, Palo Alto, CA (Estados Unidos) |
Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
Internacional
| Autores | Pedro Cabalar |
| Lugar | Toulousse (Francia) |
A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
Internacional
| Autores | Pedro Cabalar |
| Lugar | Toulousse (Francia) |
Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
Internacional
| Autores | Pedro Cabalar |
| Lugar | San Francisco (Estados Unidos) |
Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
Internacional
| Autores | Pedro Cabalar, Ramón Otero, Silvia G. Pose |
| Lugar | Berlín (Alemania) |
PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
Internacional
| Autores | Pedro Cabalar, Manuel Jose Cabarcos Traseira, Ramón Otero |
| Lugar | Breckenridge, CO (Estados Unidos) |
Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
Internacional
| Autores | Álvaro Barreiro García, Pedro Cabalar, 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 |
| Lugar | Murcia (España) |
Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
Internacional
| Autores | Ramón Pérez Otero, Pedro Cabalar |
| Lugar | Estocolmo (Suecia) |
Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
Internacional
| Autores | Pedro Cabalar |
| Lugar | L'Aquila (Italia) |
Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
Internacional
| Autores | Pedro Cabalar, Ramón Pérez Otero, Silvia Gómez Pose |
| Lugar | Murcia (España) |
Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
Nacional
| Autores | Álvaro Barreiro García, Pedro Cabalar, Raúl Ramos Pollán |
| Lugar | Málaga (España) |
Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
Internacional
| Autores | Pedro Cabalar, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos |
| Lugar | París (Francia) |
Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
Internacional
| Autores | Álvaro Barreiro García, Pedro Cabalar, David Lorenzo Blanco, Ramón Pérez Otero |
| Lugar | Innsbruck (Austria) |
Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
Internacional
| Autores | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
| Lugar | Montreal (Canadá) |
Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
Internacional
| Autores | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
| Lugar | Innsbruck (Austria) |
Cargos académicos o de gestión para el/la docente.