Dr. José Pedro Cabalar Fernández  

Titular de universidade (TIT-UN)

Departamento Computación
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación Inteligencia Artificial, Representación del Conocimiento, Lógica, Razonamiento no Monótono, Programación Lógica, Answer Set Programming
Palabras chave Artificial Intelligence, Knowledge Representation, Non-monotonic Reasoning, Logic Programming, Answer Set Programming
Contacto Directorio da UDC

Docencia

Docencia impartida

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

Materia e estudos en que se imparte Horas totais
Algoritmos
Grao en Enxeñaría Informática
4
Metodoloxías de Desenvolvemento
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
Mestrado Universitario en Enxeñaría Informática
0
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
21
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
12
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
21
Sistemas Intelixentes
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
Mestrado Universitario en Enxeñaría Informática
9
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Representación do Coñecemento e Razoamento Automático 19
Sistemas Intelixentes
Grao en Enxeñaría Informática. Curso Ponte
101
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
42
Materia e estudos en que se imparte Horas totais
Metodoloxías de Desenvolvemento
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
49
Sistemas Operativos
Grao en Enxeñaría Informática
55
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
21
Validación e Verificación do Software
Grao en Enxeñaría Informática
41
Materia e estudos en que se imparte Horas totais
Metodoloxías de Desenvolvemento
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
42
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
28
Sistemas Operativos
Grao en Enxeñaría Informática
40
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
10
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
6
Validación e Verificación do Software
Grao en Enxeñaría Informática
35
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte
14
Materia e estudos en que se imparte Horas totais
Representación do Coñecemento e Razoamento Automático
Grao en Enxeñaría Informática
19
Sistemas Intelixentes
Grao en Enxeñaría Informática
99
Sistemas Intelixentes
Mestrado Universitario en Enxeñaría Informática
21
Sistemas Operativos
Grao en Enxeñaría Informática
17
Traballo Fin de Mestrado
Mestrado Universitario en Computación
3

Titorías definidas polo/a docente para o curso académico 2015/2016.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre mércores
11:00 a 14:00
Despacho 4.11
Primeiro cuadrimestre venres
11:00 a 14:00
Despacho 4.11

Traballos fin de grao e mestrado

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Ferramenta de Razoamento Diagramático para Programación Lóxica
Ferramenta para harmonización musical mediante Answer Set Programming
Un sistema de tipado para Answer Set programming con funciones.
Unha ferramenta de planificación para programas lóxicos temporáis

Resultados da investigación

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

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

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

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

Sistema de razonamiento automático sobre dominios dinámicos

Entidade financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proxecto Outros Programas
Datas Desde 01/10/1998 ata 01/10/2001

Razonamiento en sistemas dinámicos de eventos discretos. Integración en Medtool

Entidade financiadora Dirección Xeral de Universidades
Tipo Proxecto Outros Programas
Datas Desde 24/10/1996 ata 24/10/1999

Causal Graph Justifications of Logic Programs

Autores José Pedro Cabalar Fernández, Jorge Fandiño, Michael Fink
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Núm. 4-5 (páxs. 603 ata 618)

Temporal Equilibrium Logic: a survey

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, Martín Diéguez Lodeiro
Revista Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (páxs. 2 ata 24)

Formalising the Fisherman's Folly puzzle

Autores José Pedro Cabalar Fernández, Santos, Paulo E.
Revista ARTIFICIAL INTELLIGENCE Vol. 175 Núm. 1, SI (páxs. 346 ata 377)

A logical characterisation of ordered disjunction

Autores José Pedro Cabalar Fernández
Revista AI COMMUNICATIONS Vol. 24 Núm. 2 (páxs. 165 ata 175)

Functional answer set programming

Autores José Pedro Cabalar Fernández
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Núm. 2-3 (páxs. 203 ata 233)

A Normal Form for Linear Temporal Equilibrium Logic

Autores José Pedro Cabalar Fernández
Revista Lecture Notes in Computer Science Vol. 6342 (páxs. 64 ata 76)

A Revised Concept of Safety for General Answer Set Programs

Autores José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Revista Lecture Notes in Computer Science Vol. 5753 (páxs. 58 ata 70)

Strongly equivalent temporal logic problems

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 5293 (páxs. 8 ata 20)

Partial Functions and Equality in Answer Set Programming

Autores José Pedro Cabalar Fernández
Revista Lecture Notes in Computer Science Vol. 5366 (páxs. 392 ata 406)

Strongly Equivalent Temporal Logic Programs

Autores Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Revista Lecture Notes in Computer Science Vol. 5293 (páxs. 8 ata 20)

The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology

Autores Paulo E. Santos, José Pedro Cabalar Fernández
Revista SPATIAL COGNITION AND COMPUTATION Vol. 8 (páxs. 47 ata 64)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

Autores José Pedro Cabalar Fernández, David Pearce, Panos Rondogiannis, William Wadge
Revista Lecture Notes in Computer Science Vol. 4483 (páxs. 44 ata 57)

Minimal Logic Programs

Autores José Pedro Cabalar Fernández, Gilberto Pérez Vega
Revista Lecture Notes in Computer Science Vol. 4670 (páxs. 104 ata 118)

Partial Equilibrium Logic

Autores José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, Gilberto Pérez Vega
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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández
Revista Lecture Notes in Computer Science Vol. 2401 Núm. - (páxs. 378 ata 392)

Introducing planning in discrete event systems

Autores José Pedro Cabalar Fernández, 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, José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, P. Otero, D. Lorenzo
Revista Lecture Notes in Computer Science Vol. 1030 Núm. - (páxs. 305 ata 313)

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 Departamento en Constitución
Cualificación Sobresaliente Cum laude

Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
Internacional

Autores José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Lugar Cohimbra (Portugal)

Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
Internacional

Autores José Pedro Cabalar Fernández
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, José Pedro Cabalar Fernández
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, José Pedro Cabalar Fernández
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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández
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
Internacional

Autores José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández
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 José Pedro Cabalar Fernández
Lugar Toulousse (Francia)

A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
Internacional

Autores José Pedro Cabalar Fernández
Lugar Toulousse (Francia)

Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
Internacional

Autores José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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, 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
Lugar Murcia (España)

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

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

Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
Internacional

Autores José Pedro Cabalar Fernández
Lugar L'Aquila (Italia)

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

Autores José Pedro Cabalar Fernández, 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
Internacional

Autores Álvaro Barreiro García, José Pedro Cabalar Fernández, 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 José Pedro Cabalar Fernández, 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, José Pedro Cabalar Fernández, 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, José Pedro Cabalar Fernández, 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, José Pedro Cabalar Fernández, Ramón Pérez Otero
Lugar Innsbruck (Austria)

Cargos

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

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

Secretario/a

Desde 11/10/2013.

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador/a Mestrado

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

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador/a Mestrado

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

Coordinadores/as Mestrados Facultade de Informática

Mestrado Universitario en Computación
Coordinador/a Mestrado