Pedro
Cabalar
Facultade
de Informática,
Campus de Elviña S/N
E15071, A Coruña, Spain.
Tel.: +34 881011265
Fax: +34 981 167160
email:

Short Bio.

Born in Cabanas,
Corunna, on 20th of July of 1969 (Neil
Amstrong was very busy that
day...). Some facts, in reverse chronological
order:
 Nov.
2003:
associate professor tenure at the Dept. of
Computer Science of Corunna.
 Jun.
2003:
Corunna University Dissertation Award.
 Dec.
2001:
PhD in Computer Science (download
dissertation).
 Apr.
2000
 Jun. 2000: research stay at the KR
Lab., Dept. of
Computer Science, University of
Texas at El Paso, USA.
 Oct.
1997
 Nov. 2003: adjunct teacher at the Computer
Science School of Corunna.
 Nov.
1995
 Oct. 1997: adjunct teacher at the Computer
Science Technical School of Ourense,
University of
Vigo.
 Sep.
1993:
Master Thesis "BackEnd de un compilador con
optimizacion del uso de registros".
 Jun.
1993:
Bachelor in Computer Science at the Computer
Science School of Madrid, Politechnic
University of Madrid. (admission ,
4th, 5th and 6th courses).
 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:
 Knowledge
Representation, Reasoning
about Actions and Change
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
SpatioTemporal Reasoning. Some links
and incoming events:
 Logic
Programming
(LP) and Nonmonotonic Reasoning (NMR)
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, multivalued,
intuitionistic and conditional logics, always under the
perspective of their use for NMR.
Our research group on logic
in AI is integrated in the Information
Retrieval Laboratory (IRLab), University
of Corunna.
Research projects and
grants:
 DigForASP:
DIGital
FORensics  evidence Analysis via
intelligent Systems and Practices
COST action CA17124, European
Cooperation in Science & Technology,
Horizon 2020, European Union, October 2018 
September 2021.
 TARDIS:
Temporal
Automated Reasoning for Dynamic
Intelligent Systems
TIN201784453P, Spanish Ministry of
Economy and Competitivity (MINECO) January
2018  December 2020.
 MERLOT:
MEdical
Reasoning with LOgical Tools
TIN201342149P, Spanish Ministry of
Economy and Competitivity (MINECO) January
2014  December 2016.
 FEAST:
Foundations
and Extensions of Answer Set Programming
Technology
TIN200914562C0504, 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
TIN200615455C0302, 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
INCITE08PXIB105159PR, 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.
 PC Cochair and local organizer of
LPNMR'13.
 Coeditor of the Special Issue on
"Equilibrium Logic and Answer Set
Programming" of the Journal of Applied
NonClassical Reasoning, 23(12), 2013.
 Program Committee member of
 IJCAI
Intl. Joint Conf. on Artificial
Intelligence (2018
as senior PC, 2017,
2016 as
senior PC, 2015,
2013,
2011)
 KR Intl.
Conf. on Principles of Knowledge
Representation and Reasoning (2018,
2016,
2014,
2012)
 AAAI
Conference on AI (2018,
2017,
2016,
2015,
2014,
2013,
2012,
2007)
 ECAI
Europan Conf. on AI (2018,
2016,
2014)
 ICLP
Intl. Conf. on Logic Programming (2018,
2017,
2016,
2015,
2010,
2009)
 LPNMR Intl. Conf. on Logic
Programming and NonMonotonic Reasoning
(2019,
2017,
2015,
2013 as
PC cochair, 2011,
2009,
2005)
 JELIA European Conference on
Logics in AI (2019,
2016,
2014,
2012,
2010).
 International Joint Conference on
Rules and Reasoning (RR+RuleML) (2018, 2017).
 CAEPIA
Spanish Conference on AI (2016,
2015,
2013)
 Other conferences IBERAMIA'18,
ESCIM'16, IBERAMIA'16, MICAI'10
 ASPOCP Intl. Workshop on ASP and
Other Computing Pardigms (2018,
2017,
2016,
2015,
2014,
2013,
2012,
2011,
2010,
2009,
2008)
.
 International Workshop on
"Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial
Explosion" (RCRA) (2018,
2017,
2016).
 Other workshops: TAASP'16,
STAIRS'16,
GTTV'15, IULP'15,
LANMR'11, LANMR'10, LANMR'09, LogIC'09,
, ASP'07,
DRT'04.
 Reviewer
for
 Journals: AIJ, JAIR, TPLP,
JLC,
JAL,
ACMToCL,
MVLSC,
JIC, and IA.
 Reviewer
for AMS
Mathematical Reviews.
 Conferences:
LPNMR'07,
CSL'06,
IJCAI'03,
ICLP'14, CAEPIA'{97,99,01}
 Workshops:
CENT'07
and LANMR'04
workshops.
 Organizer of LRC'15
and LRC'18
workshops. Coorganizer of LRC'16,
GTTV'11
and TARRAT'99
workshops.
 past organizer of the MSc
in Computing and the PhD
programme Computer Science of the
Department of , University of Corunna
(both from 2009 to 2012).
 member of Texas
Action
Group
 member of associations: APPIA,
AEPIA. Former member of AAAI.
 member of WASP (European Working
Group on Answer Sets Programming,
20022005).
Other tools

Publications* by
year

*  the electronic versions of
the papers included below correspond to
preliminary drafts, in a previous stage to their
final publication.
2018
P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "GelfondZhang
Aggregates as Propositional Formulas",
Artificial Intelligence, 2018 to appear.
(extended journal version of LPNMR'17 paper)
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 October2 November 2018
(to appear).
P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "Lower Bound
Founded Logic of HereandThere: A Preliminary
Report", in Proc. of the 17th Intl.
Workshop on NonMonotonic Reasnoning (NMR'18),
Tempe, Arizona, USA, October 27th29th, 2018 (to
appear).
P. Cabalar, J. Fandinno and L. Fariñas del
Cerro, "Splitting
Epistemic Logic Programs", in Proc. of
the 17th Intl. Workshop on NonMonotonic
Reasnoning (NMR'18),
Tempe, Arizona, USA, October 27th29th, 2018 (to
appear).
P. Cabalar, C. Pérez and G. Pérez "Equilibrium Graphs",
Annals of Mathematics and Artificial
Intelligence (AMAI), 2018 (to appear).
P. Cabalar, D. Pearce and A. Valverde, "Answer Set Programming
from a Logical Point of View",
Künstliche Intelligenz, 32(23): 109118,
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 1417, 2018. Theory and
Practice of Logic Programming 18(34):
406420, 2018.
P. Cabalar, J. Fandinno, L. Fariñas del
Cerro and D. Pearce, "Functional
ASP with Intensional Sets; Application to
GelfondZhang Agreggates". Intl. Conference on Logic
Programming (ICLP'18),
Oxford, UK, July 1417, 2018. Theory and
Practice of Logic Programming 18(34):
390405, 2018.
2017
P. Cabalar,
M. Diéguez, A. Herzig and D. Pearce, "A short biography of
Luis Fariñas del Cerro". Journal of Applied
NonClassical Logics 27(34): 153160, 2017.
P. Cabalar, D. Pearce and A. Valverde, "Stable Reasoning,"
Journal of Applied NonClassical Logics
27(34): 238254, 2017.
F. Aguado, P. Cabalar, M. Diéguez, G. Pérez and C.
Vidal "Temporal
Equilibrium Logic with Past Operators,"
Journal of Applied NonClassical
Logics 27(34): 161177, 2017.
P. Cabalar, J. Fandinno, L.
Fariñas del Cerro, D. Pearce and A. Valverde, "On the Properties of Atom
Definability and WellSupportedness in Logic
Programming", in Proc. of the 18th
EPIA Conference on Artificial Intelligence (EPIA'17),
Porto, Portugal, September 5th8th, 2017. Lecture
Notes in Artificial Intelligence 10423,
pp. 624636, Springer 2017.
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 5th8th, 2017. Lecture
Notes in Artificial Intelligence 10423, pp.
637642, Springer 2017.
P. Cabalar, J. Fandinno, T. Schaub and S.
Schellhorn, "GelfondZhang
Aggregates as Propositional Formulas",
in Proc. of the 14th Intl. Conf. on Logic
Programming and NonMonotonic Reasoning (LPNMR'17),
Espoo, Finland, July 36, 2017. [best paper
award]
F. Aguado, P. Ascariz, P. Cabalar, G. Pérez
and C. Vidal, "Verification
for ASP Denotational Semantics: a case study
using the PVS theorem prover", Logic
Journal of the IGPL 25 (2), pp. 195213,
2017.
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. 226243, 2017.
P. Cabalar and J. Fandinno, "Enablers
and Inhibitors in Causal Justifications of
Logic Programs," Theory
and Practice of Logic Programming, 17 (1),
pp. 4974, 2017. [extended journal version of
LPNMR'15 paper].
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, "MultiContext
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 and J. Fandinno "Justifications
for Programs with Disjunctive and
Causalchoice Rules," in Proc. of the
32nd Intl. Conf. on Logic Programming (ICLP'16),
New York, USA, October 1621, 2016. Theory and
Practice of Logic Programming 16 (56), pp.
587603, 2016.
P. Cabalar, R. Kaminski, M. Ostrowski and T.
Schaub, "An ASP Semantics
for Default Reasoning with Constraints," International
Joint Conference on Artificial Intelligence (IJCAI'16),
New York, USA, July 915th, 2016.
P. Cabalar and P. E. Santos, "A
Qualitative Spatial Representation of String
Loops as Holes," Artificial
Intelligence 238, pp. 110, 2016.
P. Santos and P. Cabalar, "Framing
Holes within a Loop Hierarchy," Spatial
Cognition and Computation 16 (1), 5495,
2016.
2015
P. Cabalar, "Stable Models for Temporal
Theories  Invited Talk," in Proc. of
the 13th Intel. Conf. on Logic Programming and
NonMonotonic Reasoning (LPNMR'15),
Lecture Notes in Artificial Intelligence LNAI
9345, 2015.
P. Cabalar and J. Fandinno, "Enablers
and Inhibitors in Causal Justifications of
Logic Programs," in Proc. of the 13th
Intel. Conf. on Logic Programming and
NonMonotonic Reasoning (LPNMR'15),
Lecture Notes in Artificial Intelligence LNAI
9345, 2015. [One of the 4 best paper awards]
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 (45),
666680, 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 (45),
620634, 2015.
F. Aguado, P. Ascariz, P. Cabalar, G. Pérez and C.
Vidal, "Formal
Verification for ASP: a Case Study using the
PVS Theorem Prover," in Proc. of the
15th Intl. Conf. on Computational and Mathematical
Methods in Science and Engineering (CMMSE'15),
Rota, Cádiz, Spain, July 610, 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 24th26th,
2014. Lecture Notes in Artificial Intelligence
(8761), pp. 300310, SpringerVerlag,
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 24th26th,
2014. Lecture Notes in
Artificial Intelligence (8761), pp.
340354, SpringerVerlag, 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 1922, 2014, Vienna, Austria. [extended version].
Theory and Practice of Logic Programming 14
(45), 603618, 2014.
P. Cabalar and M. Diéguez, "Strong
Equivalence of NonMonotonic Temporal
Theories," in Proc. of the 14th
International Conference on Principles of
Knowledge Representation and Reasoning (KR'14),
Vienna, Austria. July 2024, 2014. [extended version].
P. Cabalar and M. Diéguez, "Temporal Stable Models are
LTLrepresentable," 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 NonClassical Logics 23(12): 224
(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 1014, 2013. (special track for
presenting journal papers. It contains a summary
of Cabalar & Santos 2011, AIJ).
P. E. Santos and P. Cabalar, "An
investigation of actions, change, space within
a holeloop dichotomy" in Proc. of the
11th Intl. Symp. on Logical Formalizations of
Commonsense Reasoning, Ayia Napa, Cyprus, 2729
May 2013.
P. Cabalar, "Setting the
Stage for Answer Set Functions," ALP
Newsletter, September 2013.
2012
P. E. Santos and P. Cabalar,
"Knots World: an
investigation of actions, change and space,"
in: Proceedings of the Spatiotemporal Dynamics
Workshop (STeDy'12),
Montpellier 2012. p. 3644 (inside ECAI 2012).
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, postedition version) in Correct Reasoning:
Essays on
LogicBased AI in Honour of Vladimir Lifschitz,
Esra Erdem, Joohyung Lee, Yuliya Lierler and David
Pearce (eds.), pp. 102116, Springer, 2012.
2011
P. Cabalar and S.
Demri, "Automatabased Computation of
Temporal Equilibrium Models," in 21st
International Symposium on LogicBased Program
Synthesis and Transformation (LOPSTR'11),
Odense, Denmark, 2011.
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.
334343, Springer, 2011.
P. Cabalar, "A logical
Characterisation of Ordered Disjunction"
in AI
Communications
24, 2, pp. 165175, 2011.
P. Cabalar, "Functional
Answer
Set
Programming", Theory and Practice of Logic
Programming, 11 (23), pp. 203233, 2011.
P.
Cabalar
and
M. Diéguez, "An Experiment on Tabled
Evaluation for Hidden Predicates," 1st
Workshop on Grounding and Transformations for
Theories with Variables (GTTV'11), inside
LPNMR'11
Vancouver, BC, Canada, May 16, 2011.
F. Aguado, P. Cabalar, G.
Pérez and C. Vidal, "Loop Formulas for Splitable
Temporal Logic Programs", 11th International
Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'11)
Vancouver, BC, Canada, May 1619, 2011.
P. Cabalar and M. Diéguez, "STeLP 
a Tool for Temporal Answer Set Programming".
11th International Conference on
Logic Programming and Nonmonotonic Reasoning (LPNMR'11)
Vancouver, BC, Canada, May 1619, 2011.
P. Cabalar and P. E. Santos, "Formalising
the Fisherman's Folly puzzle",
Artificial
Intelligence 175(1), pp. 346377, 2011.
A preliminary draft is
available here.
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 2123, 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 1315, 2010. Lecture Notes in
Computer Science vol. 6341, pp. 6476,
2010. (This is a revised postproceedings version
where some typos were corrected).
P. Cabalar, "A Logical Characterisation of
Ordered Disjunction", 3rd Workshop on Answer
Set Programming and Other Computing Paradigms
(ASPOCP'10), Edinburgh, UK, July 20th 2010.
2009
P. Cabalar, "Existential
Quantifiers
in the Rule Body", 23rd Workshop on
(Constraint) Logic Programming (WLP'09),
Potsdam, Germany, September 15/16, 2009.
P. Cabalar, D. Pearce and A. Valverde, "Safety
Preserving Transformations for General Answer
Set Programs", 19th International Symposium
on LogicBased Program Synthesis and
Transformation (LOPSTR'09),
Coimbra, Portugal, September 911, 2009.
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, 1418 September 2009, Lecture Notes in
Artificial Intelligence (5753), pp.
5870, 2009.
2008
P. Cabalar, "Partial Functions and Equality in
Answer Set Programming", 24th
International Conference on Logic Programming (ICLP'08),
Udine, Italy, December 2008. Lecture Notes in
Artificial Intelligence, vol. 5293, pp.
820, 2008.
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. 820,
2008.
P. E. Santos and P. Cabalar, "The
space
within the Fisherman's Folly: playing with a
puzzle in mereotopology", Spatial Cognition
and Computation 8:4764, 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. 305331, 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.
104118, 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 SWIProlog 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. 241248,
2007.
P. Cabalar, D. Pearce, P. Rondogianis and W.
Wadge, "A Purely ModelTheoretic
Semantics for Disjunctive Logic Programs with
Negation", 9th International Conference on
Logic Programming and Nonmonotonic Reasoning (LPNMR'07),
Tempe,
AZ.
May
1417
2007,
Lecture Notes
in Artificial Intelligence (4483), pp
4457, 2007.
P. E. Santos and P. Cabalar, "Holes,
Knots and Shapes: A Spatial Ontology of a
Puzzle", 8th International Symposium on
Logical Formalizations of Commonsense Reasoning
(Commonsense'07),
inside the AAAI
Spring
Symposium Series 2007, Stanford, CA, USA,
March 2007.
P. Cabalar and P. Ferraris, "Propositional
Theories
are Strongly Equivalent to Logic Programs", Theory and
Practice of Logic Programming 7 (6),
pp. 745759, 2007.
2006
P. Cabalar, S. Odintsov, D. Pearce
and A. Valverde, "On the Logic and
Computation of Partial Equilibrium Models",
10th European Conference on Logics in Artificial
Intelligence (JELIA'06),
Lecture Notes
in Artificial Intelligence (4160), pp.
8294, 2006.
An extended
version of this paper including proofs of
theorems is available here.
P. Santos and P.
Cabalar, "Passing through
Holes and Getting Entangled by Strings: An
Automated Solution for a Spatial Puzzle",
Workshop on Spatial
and Temporal Reasoning, (inside the
European Conference on Artificial Intelligence,
ECAI'06),
Riva del Garda, Italy, August 2006.
P. Cabalar and P. Santos, "Strings and holes: an
exercise on spatial representation and
reasoning", Proceedings
of the 10th IberoAmerican Artificial
Intelligence Conference (IBERAMIA'06),
Ribeirão Preto, Brazil, Lecture Notes in
Artificial Intelligence (4140), pp.
419429, October 2006.
P. Cabalar, S. Odintsov and D. Pearce, "Strong Negation in
WellFounded and Partial Stable Semantics for
Logic Programs",
Proceedings of the 10th IberoAmerican
Artificial Intelligence Conference (IBERAMIA'06),
Ribeirão Preto,
Brazil, Lecture Notes in Artificial
Intelligence (4140), pp. 592601, October
2006. [PDF slides
805K]
P. Cabalar, S. Odintsov, D. Pearce and A.
Valverde, "Analysing and Extending WellFounded
and Partial Stable Semantics using Partial
Equilibrium Logic",
Proceedings of the International Conference on
Logic Programming (ICLP'06),
Lecture Notes
in Computer Science (4079), pp.
346360, Seattle, USA, August 2006. [PDF slides 560K]
P. Cabalar, S. Odintsov and D. Pearce, "Logical Foundations of WellFounded
Semantics", Proceedings of the
10th International Conference on Principles of
Knowledge Representation and Reasoning (KR'06),
Lake District, UK, June 2006 [PDF slides 670K].
2005
P. Cabalar, S. Odintsov and D. Pearce, "A Logic for Reasoning
about WellFounded Semantics: Preliminary
Report",
proceedings of the 11th Conference of the
Spanish for AI (CAEPIA'05),
pp.
183192,
Santiago
de Compostela, Spain, 2005.
P. Cabalar, D. Pearce and A. Valverde, "Reducing
Propositional Theories in Equilibrium Logic to
Logic Programs", 12th Portuguese
Conference on Artificial Intelligence (EPIA'05).
Lecture Notes in Computer Science 3808, pp.
417, 2005.
P. Cabalar, "A
Functional Action Language Frontend",
presentation at the 3rd Workshop on Answer Set
Programming (ASP'05),
Bath, UK, July 2005. [link to FAL
page]
2004
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.
294306.
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 and D. Lorenzo, "New
insights on the intuitionistic interpretation
of Default Logic," Proceedings of the 16th
European Conference on Artificial Intelligence (ECAI'04),
pp. 798802, Valencia, Spain, August 2004. An online extended report
contains the proofs for the main results.
2003
P. Cabalar, "A Preliminary Study on
Reasoning about Causes," 6th Intl.
Symposium on Logical Formalizations of Commonsense
Reasoning, inside the AAAI
2003 Spring Symposium Series, Stanford,
Palo Alto, USA, March 2003. [Powerpoint
slides 189K]
2002
P. Cabalar, "A rewriting method for
WellFounded semantics with explicit negation,"
International Conference on Logic
Programming (ICLP'02),
Copenhagen, Denmark, July 2002, Lecture
Notes in Computer Science (2401): 378392,
2002. [Powerpoint slides 160K]
P. Cabalar, "A Threevalued
characterization for strong equivalence of
logic programs," 18th
National
Conference on Artificial Intelligence
(AAAI'02), Edmonton, Canada, July
2002. (Extended version published at
NMR'02; see below).
P. Cabalar, "Alternative
characterizations for strong equivalence of
logic programs," 9th Intl.
Workshop on Nonmonotonic Reasoning
(NMR'02), Toulouse, France, April
2002.
2001
P. Cabalar, "Pertinence for Causal
Representation of Action Domains," PhD
dissertation, Computer Science Dept., University
of Corunna, december 2001. [Presentation slides 137K]
P. Cabalar, "Well Founded Semantics as
Twodimensional HereandThere,"
Proceedings of the Workshop on Answer Set
Programming, ASP
2001, (AAAI Press, technical report
SS0101), inside the 2001
AAAI
Spring Symposium Series, Stanford, 2628
March 2001.
2000
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 the
8th Intl. Workshop on NonMonotonic
Reasoning NMR'2000,
April
911,
Breckenridge,
Colorado,
USA,
April
2000. (Collocated with KR'2000,
April 1215) [PAL
web
page]
1999
P. Cabalar, "Temporal Answer Sets," Proceedings
of the Joint
Conference on Declarative Programming,
(APPIAGULPPRODE'99), L'Aquila, Italy,
September 69, 1999.
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:
P. Cabalar, M. Cabarcos, R. P. Otero, A.
Barreiro, "Introducing Planning in
Discrete Event Systems," Lecture Notes
in Computer Science, (1333):146159, 1997.
M. Cabarcos, M. Otero, P. Cabalar, R. P. Otero,
"Efficient Concurrent
Execution of Medtool Expert Systems," Conference on Artificial
Intelligence Applications (EXPERSYS'96),
Paris, 1996.
R. P. Otero, A. Barreiro, P. Cabalar, D.
Lorenzo, "Discrete Event Simulation
in an Environment for Temporal Expert Systems,"
Lecture Notes in Computer Science,
(1030):271282, 1996.
R. P. Otero, D. Lorenzo, P. Cabalar, "Automatic
Induction of DEVS Structures," Lecture Notes
in Computer Science, (1030):305313, 1996.
R. P. Otero, D. Lorenzo, P. Cabalar, "Applying
Induction in Temporal Expert Systems,"
Proceedings of the Workshop
of Data Engineering for Inductive Learning,
IJCAI'95, Montréal, 1995.

