Dr. José Pedro Cabalar Fernández  

Catedrático de universidade (CAT-UN)

Departamento Ciencias da Computación e Tecnoloxías da Información
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación Intelixencia Artificial, Representación do Coñecemento, Lóxica, Razoamento non Monótono, Programación Lóxica, Answer Set Programming
Palabras chave Intelixencia Artificial, Representación do Coñecemento, Lóxica, Razoamento non Monótono, Programación Lóxica, Answer Set Programming
Contacto Directorio da UDC
Orcid id0000-0001-7440-0953 ResearcherIDAAE-5198-2020 Scopus55887725900

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas a distancia Horas totais
Lóxica 0 4
Razoamento e Planificación 0 21
Representación do Coñecemento e Razoamento Automático 0 28
Representación do Coñecemento e Razonamento 0 30
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 42
Materia e estudos en que se imparte Horas a distancia Horas totais
Coñecemento e Razoamento con Incerteza
Máster Universitario en Intelixencia Artificial
0 3,5
Lóxica
Grao en Intelixencia Artificial
0 10
Minería de Textos
Máster Universitario en Intelixencia Artificial
0 0
Razoamento e Planificación
Máster Universitario en Intelixencia Artificial
0 21
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
0 28
Representación do Coñecemento e Razonamento
Grao en Intelixencia Artificial
0 30
Sistemas Intelixentes de Tempo Real
Máster Universitario en Intelixencia Artificial
0 0
Traballo de Fin de Máster
Máster Universitario en Intelixencia Artificial
0 0
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
0 2
Traballo Fin de Grao. Mención en Tecnoloxías da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
0 1
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 42
Materia e estudos en que se imparte Horas a distancia Horas totais
Coñecemento e Razoamento con Incerteza
Máster Universitario en Intelixencia Artificial
0 3,5
Lóxica
Grao en Intelixencia Artificial
0 15
Razoamento e Planificación
Máster Universitario en Intelixencia Artificial
0 21
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
0 35
Sistemas Intelixentes de Tempo Real
Máster Universitario en Intelixencia Artificial
0 0
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
0 12
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
0 10
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 42
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 8
Análise de Sistemas de Información
Máster Universitario en Enxeñaría Informática
0 36
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
0 28
Sistemas Operativos
Grao en Enxeñaría Informática
0 53
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 42
Materia e estudos en que se imparte Horas a distancia Horas totais
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
0 21
Sistemas Operativos
Grao en Enxeñaría Informática
0 23
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
0 8
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 35
Materia e estudos en que se imparte Horas a distancia Horas totais
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
0 28
Sistemas Operativos
Grao en Enxeñaría Informática
0 43
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
0 8
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
0 8
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
0 35

Titorías definidas polo/a docente para o curso académico 2024/2025.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre martes
10:00 a 13:00
Despacho 4.11
Primeiro cuadrimestre mércores
10:00 a 13:00
Despacho 4.11

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

Generación de Explicaciones en Sistemas Inteligentes Híbridos para Asegurar la Fiabilidad

Entidade financiadora AEI, Agencia Estatal de Investigación
Investigadores principais Cabalar Fernández, José Pedro (IP1)/ Santos Reyes, José (IP2)
Tipo Proxecto Programas Nacionales
Datas Desde 01/09/2024 ata 31/08/2028

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022

Entidade financiadora Consellería de Educación
Investigadores principais Álvaro Barreiro García
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2022 ata 20/11/2024

Razonamiento Automático y Aprendizaje con Inducción de Conocimiento

Entidade financiadora Ministerio de Ciencia e Innovación
Investigadores principais Pedro Cabalar Fernández/ José Santos Reyes
Tipo Proxecto Programas Nacionales
Datas Desde 01/09/2021 ata 31/08/2024

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC

Entidade financiadora CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Investigadores principais ÁLVARO BARREIRO GARCÍA
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2019 ata 20/11/2021

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2018 ata 31/12/2020

TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems

Entidade financiadora Ministerio de Economía y Competitividad
Investigadores principais Pedro Cabalar
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2018 ata 31/12/2020

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2014 ata 31/12/2016

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Entidade financiadora Ministerio de Economía y Competitividad
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2013

FEAST: Foundations and Extensions of Answer Set Programming Technology

Entidade financiadora Ministerio de Ciencia e Innovación
Investigadores principais Pedro Cabalar
Tipo Proxecto Programas Nacionales
Datas Desde 01/10/2009 ata 30/09/2012

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Entidade financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proxecto Outros Programas
Datas Desde 01/01/2008 ata 31/10/2011

Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming

Entidade financiadora Xunta de Galicia
Investigadores principais Pedro Cabalar
Tipo Proxecto Programas Autonomicos
Datas Desde 01/10/2008 ata 30/08/2011

Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)

Entidade financiadora Ministerio de Educación y Ciencia
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/10/2006 ata 30/09/2009

DELIA: deduction and programming in non-classical logics for knowledge technology

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais David Pearce
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2004 ata 31/12/2006

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 12/08/2002 ata 11/08/2005

Working Group on Answer Set Programming

Entidade financiadora Unión Europea (red de investigación)
Investigadores principais Alessandro Provetti
Tipo Proxecto UE
Datas Desde 15/09/2002 ata 14/03/2005

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

Tipo Proxecto Outros Programas
Datas Desde 28/12/2001 ata 28/12/2004

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

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Ramón Pérez Otero
Tipo Proxecto Programas Nacionales
Datas Desde 28/12/2001 ata 27/12/2004

Sistema de Razonamiento Automático sobre Dominios Dinámicos

Entidade financiadora Ministerio de Educación y Cultura
Investigadores principais Ramón Pérez Otero
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/1999 ata 31/12/2001

Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool

Entidade financiadora Xunta de Galicia
Investigadores principais Ramón Pérez Otero
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/1996 ata 31/01/1998

Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿

Entidade financiadora Diputación de A Coruña (convenio de colaboración)
Investigadores principais José Luis Freire Nistal
Tipo Contrato
Datas Desde 01/08/1996 ata 30/04/1997

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

Entidade financiadora Xunta de Galicia
Investigadores principais Ramón Pérez Otero
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/1994 ata 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áxs. 195 ata 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áxs. 226 ata 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áxs. 161 ata 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áxs. 49 ata 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áxs. 238 ata 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áxs. 624 ata 636)

haspie - A Musical Harmonisation Tool based on ASP

Autores Pedro Cabalar, Rodrigo Martín
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (páxs. 637 ata 642)

A Qualitative Spatial Representation of String Loops as Holes

Autores Pedro Cabalar, Paulo E. Santos
Revista Artificial Intelligence Vol. 238 (páxs. 1 ata 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áxs. 587 ata 603)

Framing Holes within a Loop Hierarchy

Autores Paulo E. Santos, Pedro Cabalar
Revista SPATIAL COGNITION AND COMPUTATION Vol. 16 Núm. 1 (páxs. 54 ata 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áxs. 666 ata 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áxs. 620 ata 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áxs. 1 ata 13)

Explaining preferences and preferring explanations

Autores Pedro Cabalar, Jorge Fandinno
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (páxs. 218 ata 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áxs. 603 ata 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áxs. 297 ata 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áxs. 340 ata 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áxs. 2 ata 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áxs. 1 ata 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áxs. 80 ata 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

STeLP - a Tool for Temporal Answer Set Programming

Autores Pedro Cabalar, Martín Diéguez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (páxs. 370 ata 375)

Automata-based Computation of Temporal Equilibrium Models

Autores Pedro Cabalar, Stephane Demri
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (páxs. 57 ata 72)

A Normal Form for Linear Temporal Equilibrium Logic

Autores Pedro Cabalar
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (páxs. 64 ata 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áxs. 58 ata 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áxs. 58 ata 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áxs. 8 ata 20)

Partial Functions and Equality in Answer Set Programming

Autores Pedro Cabalar
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (páxs. 392 ata 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áxs. 47 ata 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áxs. 44 ata 57)

Minimal Logic Programs

Autores Pedro Cabalar, Gilberto Pérez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (páxs. 104 ata 118)

Partial Equilibrium Logic

Autores Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde
Revista ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (páxs. 305 ata 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áxs. 745 ata 759)

Temporal Equilibrium Logic: a first approach

Autores Pedro Cabalar, Gilberto Pérez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 241 ata 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áxs. 346 ata 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áxs. 82 ata 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áxs. 419 ata 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áxs. 592 ata 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áxs. 4 ata 17)

Logic programs with functions and default values

Autores Pedro Cabalar, David Lorenzo
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (páxs. 294 ata 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áxs. 378 ata 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áxs. 146 ata 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áxs. 271 ata 286)

Automatic induction of DEVS Structures

Autores Pedro Cabalar, P. Otero, D. Lorenzo
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Núm. - (páxs. 305 ata 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áxinas Desde a 102 ata a 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áxinas Desde a 334 ata a 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
Cualificación Sobresaliente Cum laude

Temporal answer set programming

Autor Martín Diéguez Lodeiro
Director/es José Pedro Cabalar Fernández
Ámbito Computación
Cualificació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
Cualificació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

Cargos académicos ou de xestión para o/a docente.

Coordinadores/as Mestrados Facultade de Informática

Master en Intelixencia Artificial
Coordinador Máster

Desde 01/10/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 15/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

Desde 15/03/2023.

Comisión Académica Programa Oficial de Doutoramento en Computación

Secretario

Desde 11/10/2013.

Coordinadores/as Mestrados Facultade de Informática

Master en Intelixencia Artificial
Coordinador Máster

Desde 07/04/2022 ata 30/09/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 10/03/2021 ata 14/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

Desde 10/03/2021 ata 14/03/2023.

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador Máster

Desde 01/10/2011 ata 30/09/2012.

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador Máster

Desde 01/10/2010 ata 30/09/2011.

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador Máster