PhD José Pedro Cabalar Fernández  

(TIT-UN)

Department Computer Science
Knowledgment area Computational Science and Artificial Intelligence
Research  Research group Information Retrieval Lab
Research lines Artificial Intelligence, Knowledge Representation, Logic, Non-Monotonic Reasoning, Logic Programming, Answer Set Programming
Keywords Artificial Intelligence, Knowledge Representation, Non-monotonic Reasoning, Logic Programming, Answer Set Programming
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Final Project. Mention in Computer Science 4
Knowledge Representation and Automatic Reasoning 28
Operating Systems 51
Software Verification and Validation 35
Subject and involved studies Total hours
Algorithms
Degree in Computer Engineering
4
Development Methodologies
Degree in Computer Engineering
Master's in Computer Engineering
27.5
Final Project. Mention in Computer Science
Degree in Computer Engineering
12
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
21
Software Verification and Validation
Degree in Computer Engineering
35
Subject and involved studies Total hours
Intelligent Systems
Degree in Computer Engineering
Master's in Computer Engineering
9
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
21
Software Verification and Validation
Degree in Computer Engineering
35
Subject and involved studies Total hours
Intelligent Systems
Degree in Computer Engineering
Master's in Computer Engineering
101
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
19
Software Verification and Validation
Degree in Computer Engineering
42
Subject and involved studies Total hours
Development Methodologies
Degree in Computer Engineering
Master's in Computer Engineering
49
Final Project. Mention in Computer Science
Degree in Computer Engineering
21
Operating Systems
Degree in Computer Engineering
55
Software Verification and Validation
Degree in Computer Engineering
41
Subject and involved studies Total hours
Development Methodologies
Degree in Computer Engineering
Master's in Computer Engineering
42
Final Project. Mention in Computer Science
Degree in Computer Engineering
10
Final Project. Mention in Software Engineering
Degree in Computer Engineering
6
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
28
Operating Systems
Degree in Computer Engineering
40
Software Validation and Verification
Degree in Computer Engineering
14
Software Verification and Validation
Degree in Computer Engineering
35

Defined tutoring by teacher for 2018/2019 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Tuesday
09:30 a 13:30
Despacho 4.11
1st quarter Wednesday
11:30 a 13:30
Despacho 4.11

EOG works and final master thesis directed

Directed or codirected by current teacher since 2013 year.

Rule-Based Decision Support System for Lever Transplantation
Scenario Generation for a 2D Videogame using Logic Programming
A Diagrammatic Reasoning Tool for Logic Programming
A type system for functional Answer Set programming.
Tool for musical harmonization through Answer Set Programming
A Planning Tool for Temporal Logic Programs

Research results

Select merit type and year to query research merits.

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 31/12/2020

TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems

Funding entity Ministerio de Economía y Competitividad
Main researches Pedro Cabalar
Type Proyecto Programas Nacionales
Dates From 01/01/2018 to 31/12/2020

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches José Pedro Cabalar Fernández
Type Proyecto Programas Nacionales
Dates From 01/01/2014 to 31/12/2016

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

Funding entity Ministerio de Economía y Competitividad
Type Proyecto Otros Programas
Dates From 01/01/2010 to 31/12/2012

FEAST: Foundations and Extensions of Answer Set Programming Technology

Funding entity Ministerio de Ciencia e Innovación
Main researches Pedro Cabalar
Type Proyecto Programas Nacionales
Dates From 01/10/2009 to 30/09/2012

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

Funding entity Dirección Xeral de Investigación, Desenvolvemento e Innovación
Type Proyecto Otros Programas
Dates From 01/01/2008 to 31/10/2011

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

Funding entity Xunta de Galicia
Main researches Pedro Cabalar
Type Proyecto Programas Autonomicos
Dates From 01/10/2008 to 30/08/2011

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

Funding entity Ministerio de Educación y Ciencia
Main researches Pedro Cabalar
Type Proyecto Programas Nacionales
Dates From 01/10/2006 to 30/03/2010

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

Funding entity Ministerio de Ciencia y Tecnología
Main researches David Pearce
Type Proyecto Programas Nacionales
Dates From 01/01/2004 to 31/12/2006

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
Type Proyecto Otros Programas
Dates From 12/08/2002 to 11/08/2005

Working Group on Answer Set Programming

Funding entity Unión Europea (red de investigación)
Main researches Alessandro Provetti
Type Proyecto UE
Dates From 15/09/2002 to 14/03/2005

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

Type Proyecto Otros Programas
Dates From 28/12/2001 to 28/12/2004

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

Funding entity Ministerio de Ciencia y Tecnología
Main researches Ramón Pérez Otero
Type Proyecto Programas Nacionales
Dates From 28/12/2001 to 27/12/2004

Sistema de Razonamiento Automático sobre Dominios Dinámicos

Funding entity Ministerio de Educación y Cultura
Main researches Ramón Pérez Otero
Type Proyecto Programas Nacionales
Dates From 01/01/1999 to 31/12/2001

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

Funding entity Xunta de Galicia
Main researches Ramón Pérez Otero
Type Proyecto Programas Autonomicos
Dates From 01/01/1996 to 31/01/1998

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

Funding entity Diputación de A Coruña (convenio de colaboración)
Main researches José Luis Freire Nistal
Type Contrato
Dates From 01/08/1996 to 30/04/1997

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

Funding entity Xunta de Galicia
Main researches Ramón Pérez Otero
Type Proyecto Programas Autonomicos
Dates From 01/01/1994 to 31/12/1995

Stable Reasoning

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 238 to 254)

Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates

Authors Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING

Temporal Answer Set Programming on Finite Traces

Authors Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING

Equilibrium Graphs

Authors Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Journal ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Answer Set Programming from a Logical Point of View

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal Künstliche Intelligenz

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Authors Mª Felicidad Aguado Martín, Pablo Fernández Ascariz, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal logic programs with variables

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243)
DOI https://doi.org/10.1017/s1471068416000570

Temporal Equilibrium Logic with past operators

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Journal Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177)
DOI https://doi.org/10.1080/11663081.2018.1427987

Enablers and Inhibitors in Causal Justifications of Logic Programs

Authors Pedro Cabalar, Jorge Fandinno
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 1 (pages 49 to 74)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Authors Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 624 to 636)

haspie - A Musical Harmonisation Tool based on ASP

Authors Pedro Cabalar, Rodrigo Martín
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 637 to 642)

A Qualitative Spatial Representation of String Loops as Holes

Authors Pedro Cabalar, Paulo E. Santos
Journal ARTIFICIAL INTELLIGENCE Vol. 238 (pages 1 to 10)

Justifications for Programs with Disjunctive and Causal-choice Rules

Authors Pedro Cabalar, Jorge Fandinno
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Num. 5-6 (pages 587 to 603)

Framing Holes within a Loop Hierarchy

Authors Paulo E. Santos, Pedro Cabalar
Journal SPATIAL COGNITION AND COMPUTATION Vol. 16 Num. 1 (pages 54 to 95)

An infinitary encoding of equilibrium logic

Authors José Pedro Cabalar Fernández, Concepción Vidal Martín, Martin Diéguez Lodeiro
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 666 to 680)

A denotational semantics for equilibrium logic

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, David Pearce
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 634)
DOI https://doi.org/10.1017/s1471068415000277

Stable Models for Temporal Theories - Invited Talk

Authors Pedro Cabalar
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (pages 1 to 13)

Explaining preferences and preferring explanations

Authors Pedro Cabalar, Jorge Fandinno
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (pages 218 to 232)

Causal Graph Justifications of Logic Programs

Authors José Pedro Cabalar Fernández, Jorge Fandiño, Michael Fink
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Num. 4-5 (pages 603 to 618)
DOI https://doi.org/10.1017/s1471068414000234

A Complexity Assessment for Queries involving Sufficient and Necessary Causes

Authors Pedro Cabalar, Jorge Fandinno, Michael Fink
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 297 to 319)

A Free Logic for Stable Models with Partial Intensional Functions

Authors Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 340 to 354)

Temporal Equilibrium Logic: a survey

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín, Martín Diéguez Lodeiro
Journal Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Foreword

Authors José Pedro Cabalar Fernández, Agustín Valverde
Journal Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 1 to 1)

Loop Formulas for Splitable Temporal Logic Programs

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

A logical characterisation of ordered disjunction

Authors José Pedro Cabalar Fernández
Journal AI COMMUNICATIONS Vol. 24 Num. 2 (pages 165 to 175)
DOI https://doi.org/10.3233/aic-2011-0494

Functional answer set programming

Authors José Pedro Cabalar Fernández
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Num. 2-3 (pages 203 to 233)
DOI https://doi.org/10.1017/s1471068410000517

STeLP - a Tool for Temporal Answer Set Programming

Authors Pedro Cabalar, Martín Diéguez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 370 to 375)

Automata-based Computation of Temporal Equilibrium Models

Authors Pedro Cabalar, Stephane Demri
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (pages 57 to 72)

A Normal Form for Linear Temporal Equilibrium Logic

Authors José Pedro Cabalar Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (pages 64 to 76)

A Revised Concept of Safety for General Answer Set Programs

Authors José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70)

Safety Preserving Transformations for General Answer Set Programs

Authors Pedro Cabalar, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70)

Strongly equivalent temporal logic problems

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20)

Partial Functions and Equality in Answer Set Programming

Authors José Pedro Cabalar Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (pages 392 to 406)

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

Authors Paulo E. Santos, José Pedro Cabalar Fernández
Journal SPATIAL COGNITION AND COMPUTATION Vol. 8 (pages 47 to 64)

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

Authors José Pedro Cabalar Fernández, David Pearce, Panos Rondogiannis, William Wadge
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (pages 44 to 57)

Minimal Logic Programs

Authors José Pedro Cabalar Fernández, Gilberto Pérez Vega
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (pages 104 to 118)

Partial Equilibrium Logic

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde
Journal ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pages 305 to 331)

Propositional Theories are Strongly Equivalent to Logic Programs

Authors José Pedro Cabalar Fernández, Paolo Ferraris
Journal THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Num. 6 (pages 745 to 759)

Temporal Equilibrium Logic: a first approach

Authors José Pedro Cabalar Fernández, Gilberto Pérez Vega
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 241 to 248)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (pages 346 to 360)

On the Logic and Computation of Partial Equilibrium Models

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce, Agustín Valverde Ramos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (pages 82 to 94)

Strings and holes: an exercise on spatial representation and reasoning

Authors José Pedro Cabalar Fernández, Paulo Eduardo Santos
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 419 to 429)

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 592 to 601)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

Authors José Pedro Cabalar Fernández, David Pearce, Agustín Valverde
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (pages 4 to 17)

Logic programs with functions and default values

Authors José Pedro Cabalar Fernández, David Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (pages 294 to 306)

A Rewriting Method for Well-Founded Semantics with Explicit Negation

Authors José Pedro Cabalar Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Num. - (pages 378 to 392)

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)

Discrete event simulation in an environment for temporal expert systems

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, P. Otero, D. Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 271 to 286)

Automatic induction of DEVS Structures

Authors José Pedro Cabalar Fernández, P. Otero, D. Lorenzo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 305 to 313)

Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)

Editors Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
Publishing Taylor and Francis, (España)
ISBN 1166-308

Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013

Editors José Pedro Cabalar Fernández, Tran Cao Son
Publishing 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)

Publishing 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

Authors Pedro Cabalar
Book Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Publishing: Springer - Verlag.
ISBN: SBN 978-3-642-30743-0
Pages From 102 to 116

Answer Set; Programming?

Authors José Pedro Cabalar Fernández
Book Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday)
Vol. 1 Publishing: Springer.
ISBN: 978-3-642-20831-7
Pages From 334 to 343

Temporal answer set programming

Autor Martín Diéguez Lodeiro
Director/s José Pedro Cabalar Fernández
Scope Computación
Qualification Sobresaliente Cum Laude

A casual semantics for logic programming

Autor Jorge Fandiño García
Director/s José Pedro Cabalar Fernández
Scope Departamento en Constitución
Qualification Sobresaliente Cum Laude

Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International

Authors Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Place Espoo (Finlandia)

Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International

Authors Stefania Costantini, Andrea Formisano, Pedro Cabalar
Place Espoo (Finlandia)

Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
International

Authors José Pedro Cabalar Fernández, Carlos Pérez Ramil, Gilberto Pérez Vega
Place 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
International

Authors Mª Felicidad Aguado Martín, Pablo Fernández Ascariz, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Place Rota (España)

An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
International

Authors Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
Organization AAAI
Place New York (Estados Unidos)

Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
International

Authors Pedro Cabalar, Martín Diéguez
Place Viena (Austria)

Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
International

Authors Pedro Cabalar, Martín Diéguez
Place Viena (Austria)

Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Gilberto Pérez Vega, Concepción Vidal Martín
Place Coruña, A (España)

An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
International

Authors Pedro Cabalar, Jorge Fandinno
Place Estambul (Turquía)

An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
International

Authors Paulo E. Santos, Pedro Cabalar
Place Roma (Italia)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
International

Authors Mª Felicidad Aguado Martín, José Pedro Cabalar Fernández, Martín Diéguez Lodeiro, Gilberto Pérez Vega, Concepción Vidal Martín
Organization International Conference on Logic Programming ICLP
Place Budapest (Hungría)

Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
International

Authors Paulo E. Santos, Pedro Cabalar
Organization EurAI
Place 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)
International

Authors Pedro Cabalar, Martín Diéguez
Place Vancouver (Canadá)

Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
International

Authors Pedro Cabalar
Place Palo Alto (Estados Unidos)

Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
International

Authors Pedro Cabalar
Place Espoo (Finlandia)

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

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

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

Authors José Pedro Cabalar Fernández
Place Potsdam (Alemania)

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
International

Authors Paulo Santos, José Pedro Cabalar Fernández
Place 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
International

Authors Paulo Eduardo Santos, José Pedro Cabalar Fernández
Place Riva del Garda (Italia)

Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
International

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Place Windermere, Lake District (Reino Unido)

A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
International

Authors José Pedro Cabalar Fernández
Place 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
National

Authors José Pedro Cabalar Fernández, Sergei Odintsov, David Pearce
Place Santiago de Compostela (España)

New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
International

Authors José Pedro Cabalar Fernández, David Lorenzo
Place 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.
International

Authors José Pedro Cabalar Fernández, David Lorenzo Blanco
Organization Universidad Rey Juan Carlos
Place España

A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
International

Authors José Pedro Cabalar Fernández
Place Stanford, Palo Alto, CA (Estados Unidos)

Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
International

Authors José Pedro Cabalar Fernández
Place Toulousse (Francia)

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

Authors José Pedro Cabalar Fernández
Place Toulousse (Francia)

Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
International

Authors José Pedro Cabalar Fernández
Place San Francisco (Estados Unidos)

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

Authors José Pedro Cabalar Fernández, Ramón Otero, Silvia G. Pose
Place Berlín (Alemania)

PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
International

Authors José Pedro Cabalar Fernández, Manuel Jose Cabarcos Traseira, Ramón Otero
Place Breckenridge, CO (Estados Unidos)

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)

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)

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

Authors José Pedro Cabalar Fernández
Place L'Aquila (Italia)

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)

Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
National

Authors Álvaro Barreiro García, José Pedro Cabalar Fernández, Raúl Ramos Pollán
Place Málaga (España)

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)

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)

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á)

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)

Positions

Academic or management positions held by teacher.

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

Secretario/a

From 11/10/2013.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master

From 01/10/2011 to 30/09/2012.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master

From 01/10/2010 to 30/09/2011.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master