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

Pedro Cabalar is an
associate professor at the Computer Science
and Information Technology Department,
University of A Coruña, Spain. He earned his
Bachelor's degree at the University of
Santiago de Compostela and graduated in
Computer Science from the Technical University
of Madrid, receiving his PhD from the
University of A Coruña in 2001. His research
interests are focused on Artificial
Intelligence and Knowledge
Representation and Reasoning with
special emphasis on temporal, causal,
epistemic and qualitative spatial reasoning,
mostly using non-classical logics and logic
programming. Many of his contributions are
related to logical foundations and extensions
of Answer Set Programming. Pedro Cabalar has
collaborated with more than twenty coauthors
from universities of nine different countries,
publishing in relevant journals like AIJ,
TPLP, AMAI, AI Communications, the Journal of
Applied Non-Classical Logics or the Logic
Journal of the IGPL, and reviewing for other
journals like JAIR, J. of Logic and
Computation, J. of Applied Logic or ACM TOCL.
He has regularly published in the main
relevant international conferences like IJCAI,
ECAI, KR, AAAI, JELIA, ICLP and LPNMR, being a
frequent PC member for these events and acting
as senior/area PC for IJCAI, ECAI and KR. He
has also co-chaired and organised the 12th
edition of LPNMR in 2013 in A Coruña. In the
past he has served as area editor for the
Association of Logic Programming Newsletter,
he has been scientific editor of the
Iberoamerican Journal on Artificial
Intelligence and coordinated the PhD and MSc
programmes of his Department. Pedro Cabalar
has been principal investigator of four
national research projects related to
Knowledge Representation and Automated
Reasoning with applications to the medical
domain. He is currently a workgroup leader in
the European COST Action DigForASP, on
Automated Reasoning applied to Digital
Forensics.

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 from May 2010 to Sept. 2018.

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

* - the electronic versions of
the papers included below correspond to
preliminary drafts, in a previous stage to their
final publication.

2020

P. Cabalar, J. Fandinno, J. Garea, J. Romero
and T. Schaub, "eclingo
- a Solver for Epistemic Logic Programs",
in Proc. of the 36th International Conference on
Logic Programming (ICLP'20),
September 2020, Theory and Practice of Logic
Programming, 2020, to appear.

P. Cabalar, M. Diéguez, T. Schaub and A.
Schuhmann, "Towards
Metric Temporal Answer Set Programming",
in Proc. of the 36th International Conference on
Logic Programming (ICLP'20),
September 2020, Theory and Practice of Logic
Programming, 2020, to appear.

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, M. Rey and C. Vidal, "A Complete Planner for
Temporal Answer Set Programming", in
Proc. of the 19th EPIA Conference on Artificial
Intelligence (EPIA'19),
Vila Real, Portugal, September 3-6, 2019, in Moura
Oliveira P., Novais P., Reis L. (eds) Progress in
Artificial Intelligence. Lecture Notes in Computer
Science, vol 11805, pp. 520-525, August 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: