Jun.
1989:
Graduate in Computer Science, at the CS
School of Corunna,
University of Santiago (now pertaining to
Univ. of Corunna). (1st, 2nd and 3rd
courses).

Research

I'm interested in the following areas related to
Artificial
Intelligence, and especially to Knowledge
Representation:

Work in this field is
oriented to temporal reasoning, action
theories and languages (see Functional
Action Language, FAL),
the study of theoretical foundations of
causality
or the application to Qualitative
Spatio-Temporal Reasoning. Some links
and incoming events:

both theoretical
foundantions and practical applications.
I'm interested in Answer Set
Programming (ASP) and its logical
characterisation, Equilibrium
Logic, being specialised in extensions of ASP such as
Temporal Equilibrium Logic, Functional
ASP or Causal Logic
Programming. I am also
interested in interpretations of general
NMR (LP, Default Logic, Modal
nonmonotonic logics, etc). Several
related links and events:

our group
collaborates with the Potassco
team and some of our members form the
(preliminary) Spanish node of Potassco
Solutions.

Applied
logics

my research on the two
topics above relies on applications of
modal, temporal, multi-valued,
intuitionistic and conditional logics, always under the
perspective of their use for NMR.

DigForASP:
DIGital
FORensics - evidence Analysis via
intelligent Systems and Practices
COST action CA-17124, European
Cooperation in Science & Technology,
Horizon 2020, European Union, October 2018 -
September 2021.

TARDIS:
Temporal
Automated Reasoning for Dynamic
Intelligent Systems
TIN2017-84453-P, Spanish Ministry of
Economy and Competitivity (MINECO) January
2018 - December 2020.

MERLOT:
MEdical
Reasoning with LOgical Tools
TIN2013-42149-P, Spanish Ministry of
Economy and Competitivity (MINECO) January
2014 - December 2016.

FEAST:
Foundations
and Extensions of Answer Set Programming
Technology
TIN2009-14562-C05-04, Spanish Ministry of
Science and Innovation (MICINN) inside a
coordinated project with other 4 Spanish
nodes: University of Málaga, Politechnic
Univ. of Madrid, Univ. of Cadiz, and Univ.
Rey Juan Carlos, Móstoles. January 2010 -
December 2012.

Logics,
Deduction
and Programming for Intelligent Systems:
Extensions and Applications of Answer Set
Programming
TIN2006-15455-C03-02, Spanish Ministry of
Education and Science (MEC) inside a
coordinated project with University of
Málaga (Spain), and Univ. Rey Juan Carlos,
Móstoles (Spain). October 2006 - October
2009.

Genetic
Algorithms
in Satisfiability Problems: Formal Study
and Application to Answer Set Programming
INCITE08-PXIB105159PR, Xunta de Galicia
(Spain). October 2008 - October 2011.

PhD supervising:

Martín Diéguez Lodeiro, "Temporal
Answer Set Programming." PhD
thesis, supervisor: Pedro Cabalar. Computer
Science Department, Facultad de Informática,
University of Corunna, February 23rd, 2015. Dissertation Award 2016.

Jorge Fandiño García, "A Causal
Semantics for Logic Programming."
PhD thesis, supervisor: Pedro
Cabalar. Computer Science Department,
Facultad de Informática, University of
Corunna, September 11th, 2015.

Other research activities include:

Area Editor (Theoretical
Foundations) of the ALP
Newsletter, Association for Logic
Programming.

Scientific Editor of Inteligencia
Artificial (Iberoamerican Journal of
Artificial Intelligence) from sept. 2007
to sept. 2009.

F. Aguado, P. Cabalar, F. Fandinno, D. Pearce, G.
Pérez and C. Vidal, "Forgetting
Auxiliary Atoms as Forks", in Artificial
Intelligence 275, pp. 575-601, October 2019.

P.
Cabalar, T. Schaub, "Dynamic
and Temporal Answer Set Programming on
Linear Finite Traces".Proc. of the
3rd International Workshop on the Resurgence
of Datalog in Academia and Industry (
Datalog2019) 3-6, 2019.

F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G.
Pérez and C. Vidal, "Revisiting
Explicit Negation in Answer Set Programming",
in Proc. of the 15th International Conference on
Logic Programming (ICLP'19),
September 20-25, 2019, Theory and Practice of
Logic Programming 19 (Special Issue 5-6),
September 2019 , pp. 908-924, 2019.

P. Cabalar and T. Schaub, "Temporal
Logic Programs with Temporal Description Logic
Axioms", in Description Logic,
Theory Combination, and All That: Essays
Dedicated to Franz Baader on the Occasion of His
60th Birthday, C. Lutz, U. Sattler, C.
Tinelli, A. Turhan and F. Wolter (eds), Lecture
Notes in Computer Science (LNCS) 11560, pp.
174-186, Springer 2019.

P. Cabalar, R. Kaminski, P. Morkisch and T.
Schaub, "telingo = ASP +
Time", in Proc. of the 15th
International Conference on Logic Programming and
Non-monotonic Reasoning (LPNMR'19),
Philadelphia, PA, USA, June 3-7, 2019.

P. Cabalar, J. Fandinno and L. Fariñas Del Cerro,
"Splitting Epistemic
Logic Programs", in Proc. of the 15th
International Conference on Logic Programming and
Non-monotonic Reasoning (LPNMR'19),
Philadelphia, PA, USA, June 3-7, 2019.

P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "Lower Bound
Founded Logic of Here-and-There", in
Proc. of the 16th European Conference on Logics in
Artificial Intelligence (JELIA'19),
Rende, Italy, May 8-10, 2019 (to appear).

P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "Gelfond-Zhang
Aggregates as Propositional Formulas",
Artificial Intelligence 274, pp. 26-43,
September 2019. (extended journal version of
LPNMR'17 paper)

P. Cabalar, C. Pérez and G. Pérez, "Equilibrium Graphs",
Annals of Mathematics and Artificial
Intelligence (AMAI), pp. 1-17, February
2019.

A. G. Bosser, P. Cabalar, M. Diéguez and T.
Schaub, "Introducing Temporal
Stable Models for Linear Dynamic Logic",
in Proc. of the 16th International Conference on
Principles of Knowledge Representation and
Reasoning (KR'18),
Tempe, Arizona, USA, 30 October-2 November 2018.

P. Cabalar, R. Kaminski, T. Schaub and A.
Schuhmann, "Temporal
Answer Set Programming on Finite Traces".
Intl. Conference on Logic Programming (ICLP'18),
Oxford, UK, July 14-17, 2018. Theory and
Practice of Logic Programming 18(3-4):
406-420, 2018.

P. Cabalar and R. Martín, "haspie
- A Musical Harmonisation Tool based on ASP",
in Proc. of the 18th EPIA Conference on Artificial
Intelligence (EPIA'17),
Porto, Portugal, September 5th-8th, 2017. Lecture
Notes in Artificial Intelligence 10423, pp.
637-642, Springer 2017.
P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "Gelfond-Zhang
Aggregates as Propositional Formulas",
in Proc. of the 14th Intl. Conf. on Logic
Programming and Non-Monotonic Reasoning (LPNMR'17),
Espoo, Finland, July 3-6, 2017. [best paper
award]

F. Aguado, P. Cabalar, M. Diéguez, G.
Pérez and C. Vidal, "Temporal
Logic Programs with Variables". Theory
and Practice of Logic Programming, 17 (2),
pp. 226-243, 2017.

F. Aguado, P. Cabalar, F. Fandinno, D. Pearce, G.
Pérez and C. Vidal, "Forgetting
Auxiliary Atoms as Forks", in Proc. of
the 10th Intl. Workshop on Answer
Set Programming and Other Computing Paradigms (ASPOCP'17),
Espoo, Finland, July 3rd, 2017.

Stefania Costantini, Andrea Formisano and Pedro
Cabalar, "Multi-Context
Systems: Dynamics and Evolution", in
Proc. of the 10th Intl. Workshop on Answer Set
Programming and Other Computing Paradigms (ASPOCP'17),
Espoo, Finland, July 3rd, 2017.

2016

P. Cabalar, C. Pérez and G. Pérez "Equilibrium
Graphs," in Proc. of the 9th Intl.
Workshop on Answer Set Programming and Other
Computing Paradigms (ASPOCP'16),
New York, USA, October 16, 2016.

P. Cabalar, M. Diéguez and C. Vidal, "An Infinitary Encoding of
Temporal Equilibrium Logic," in Proc.
of the 31st Intl. Conf. on Logic Programming (ICLP'15),
Cork, Ireland, August 31 - Sept. 4th, 2015. Theory
and Practice of Logic Programming 15 (4-5),
666-680, 2015.

F. Aguado, P. Cabalar, D. Pearce, G. Pérez and C.
Vidal, "A
Denotational Semantics for Equilibrium Logic,"
in Proc. of the 31st Intl. Conf. on Logic
Programming (ICLP'15),
Cork, Ireland, August 31 - Sept. 4th, 2015. Theory
and Practice of Logic Programming 15 (4-5),
620-634, 2015.

P. Cabalar and J. Fandinno. "Explaining
preferences and preferring explanations,"
in Advances in Knowledge Representation, Logic
Programming, and Abstract Argumentation,
Essays Dedicated to Gerhard Brewka on the
Occasion of His 60th Birthday. Thomas Eiter,
Hannes Strass, Mirosław Truszczyński and Stefan
Woltran (eds). Lecture Notes in Computer Science,
Volume 9060, 2015.

2014

P. Cabalar, J. Fandinno and M.
Fink, "A Complexity
Assessment for Queries involving Sufficient
and Necessary Causes," in Proc. of the
14th European Conference on Logics in Artificial
Intelligence (JELIA'14),
Funchal, Madeira, Portugal, September 24th-26th,
2014. Lecture Notes in Artificial Intelligence
(8761), pp. 300-310, Springer-Verlag,
2014.

P. Cabalar, L. Fariñas del Cerro, D. Pearce and A.
Valverde, "A Free Logic
for Stable Models with Partial Intensional
Functions," Proc. of the 14th European
Conference on Logics in Artificial Intelligence (JELIA'14),
Funchal, Madeira, Portugal, September 24th-26th,
2014. Lecture Notes in
Artificial Intelligence (8761), pp.
340-354, Springer-Verlag, 2014.

P. Cabalar, J. Fandinno and M. Fink, "Causal Graph
Justifications of Logic Programs," in
Proc. of the 30th International Conference on
Logic Programming (ICLP'14),
July 19-22, 2014, Vienna, Austria. [extended version].
Theory and Practice of Logic Programming 14
(4-5), 603-618, 2014.

P. Cabalar and M. Diéguez, "Temporal Stable Models are
LTL-representable," in Proc. of the
7th Intl. Workshop on Answer Set Programming and
Other Computing Paradigms (ASPOCP'14), Vienna,
Austria, July 23rd, 2014. NOTE:
the proof in this paper has been later proved to
be wrong.
2013

P. Cabalar and J. Fandinno,
"An algebra of causal chains,"
in
Proc. of the 6th International Workshop on Answer
Set Programming and Other Computing Paradigms (ASPOCP'13),
Istambul, Turkey, 2013.

F. Aguado, P. Cabalar, M. Diéguez, G. Pérez, C.
Vidal, "Temporal
equilibrium logic: a survey." Journal
of Applied Non-Classical Logics 23(1-2): 2-24
(2013).

P. E. Santos, P. Cabalar, "An
Investigation of Actions, Change and Space."
Proceedings of the 23rd International Conference
on Automated Planning and Scheduling, ICAPS 2013,
Rome, Italy, June 10-14, 2013. (special track for
presenting journal papers. It contains a summary
of Cabalar & Santos 2011, AIJ).

F. Aguado, P. Cabalar, M. Diéguez, G.
Pérez and C. Vidal, "Paving the Way for Temporal
Grounding", in Proc. of the 28th
International Conference on Logic Programming (ICLP'12),
Budapest, Hungary, September 2012.

P. Cabalar, "Causal
Logic Programming" (warning: this is a
corrected, post-edition version) in Correct Reasoning:
Essays on
Logic-Based AI in Honour of Vladimir Lifschitz,
Esra Erdem, Joohyung Lee, Yuliya Lierler and David
Pearce (eds.), pp. 102-116, Springer, 2012.

P. Cabalar, "Answer Set;
Programming?" in Logic Programming,
Knowledge Representation and Nonmonotonic
Reasoning:
essays dedicated to Michael Gelfond on the
occasion of his 65th birthday,
Marcello Balduccini and Tran Cao Son (eds), pp.
334-343, Springer, 2011.

P. Cabalar, "Logic Programs and
Causal Proofs", 10th Intl.
Symposium on Logical Formalization on Commonsense
Reasoning (Commonsense'11),
(AAAI
Spring Symposium Series) Stanford University (CA)
USA, March 21-23, 2011. 2010

P. Cabalar, "A Normal Form for Linear
Temporal Equilibrium Logic", 12th European
Conference on Logics in Artificial Intelligence (JELIA'10),
Helsinki, Finland, September 13-15, 2010. Lecture Notes in
Computer Science vol. 6341, pp. 64-76,
2010. (This is a revised post-proceedings version
where some typos were corrected).

P. Cabalar, D. Pearce and A.
Valverde, "A Revised Concept of
Safety for General Answer Set Programs",
10th International Conference on Logic Programming
and Nonmonotonic Reasoning (LPNMR'09),
Potsdam, Germany, 14-18 September 2009, Lecture Notes in
Artificial Intelligence (5753), pp.
58-70, 2009.

F. Aguado, P. Cabalar, G. Pérez and
C. Vidal, "Strongly Equivalent Temporal
Logic Programs", 11th
European Conference on Logics in Artificial
Intelligence (JELIA'08),
Dresden, Germany, September 2008, Lecture Notes in
Artificial Intelligence (5293), pp. 8-20,
2008.

Author
Posting. (c) 'Taylor & Francis Group,
LLC', 2008.
This is the author's version of the work.
It is posted here by permission of 'Taylor
& Francis Group, LLC' for
personal use, not for redistribution.
The definitive version was published in
Spatial Cognition & Computation, Volume 8
Issue 1, January 2008. doi:10.1080/13875860801944804

2007

P. Cabalar, S. Odintsov, D. Pearce
and A. Valverde, "Partial Equilibrium Logic",
Annals of
Mathematics and Artificial Intelligence
(50), pp. 305-331, 2007.

P. Cabalar, D. Pearce and A. Valverde, "Minimal
Logic Programs", 23rd International
Conference on Logic Programming (ICLP'07),
Porto, Portugal, September 2007.
Lecture Notes
in Computer Science (4670), pp.
104-118, 2007.

An extended
version of this paper including proofs of
theorems is available here
(with some minor typos corrected).

Program
available minlp.pl .
It's written for SWI-Prolog interpreter and
can be simply executed from the command line
by typing

$ swipl -q
-f minlp.pl

For further
help call predicate help(minlp).
This program has been used to generate the list of 162 possible
(minimal) logic programs for 2 variables.

P. Cabalar and G. P. Vega, "Temporal Equilibrium
Logic: a first approach", 11th
International Conference on Computer Aided
Systems Theory, (EUROCAST'07),
Las
Palmas
de
Gran
Canaria,
Spain,
February 2007. Lecture Notes in
Computer Science (4739), pp. 241-248,
2007.

P. Cabalar and D. Lorenzo, "Logic
Programs with Functions and Default Values,"9th
European Conference on Logics in Artificial
Intelligence
(JELIA'04), Lisbon, Portugal, September
2004. Lecture Notes in
Artificial Intelligence 3229, pp.
294-306.

A preliminary
report was presented at the Workshop on
Applications of Logic and Mathematics to
Programming, 2nd Altea International Seminars,
Altea, Spain, October 2003.

P. Cabalar, R. P. Otero, S. G. Pose, "Temporal
Constraint Networks in Action," W.Horn
(ed.) Proceedings of the 14th European
Conference on Artificial Intelligence
(ECAI'00), IOS Press, Amsterdam, 2000.

P. Cabalar, M. Cabarcos, R. P. Otero, "PAL:
Pertinence Action Language," Proceedings
of the8th Intl. Workshop on Non-Monotonic
Reasoning NMR'2000,
April
9-11,
Breckenridge,
Colorado,
USA,
April
2000. (Collocated with KR'2000,
April 12-15) [PAL
web
page]

R. P. Otero, P. Cabalar, "Pertinence and
Causality," Proceedings of the 3rd
Workshop on Nonmonotonic Reasoning, Action,
and Change (NRAC),
IJCAI'99, Stockholm, Sweden. August 1999.

Old research work related to temporal expert
systems and DEVS: