|
Pedro
Cabalar
Facultade
de Informática,
Campus de Elviña S/N
E-15071, A Coruña, Spain.
Tel.: +34 981 167000 ext. 1265
Fax: +34 981 167160
e-mail:
|
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 "Back-End 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 currently 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 mostly oriented to the design
and development of the Functional
Action Language (FAL).
Other topics of interest include the study
of theoretical foundations of causality
or, recently, the application to AI
planning or spatio-temporal reasoning. Some links and incoming events:
- Logic
Programming (LP) and Nonmonotonic Reasoning (NMR)
both theoretical foundantions and practical
applications. I'm interested in the the
three well-known LP semantics of stable
models, well-founded semantics
and Clark's completion, and
their application as NMR frameworks for
actions reasoning. In the theoretical field, I'm mostly concerned with
logical
interpretations of general NMR (LP, Default Logic, Modal nonmonotonic
logics, etc) and especially in the logical characterisation of stable
models: Equilibrium Logic.
Several related links and events:
This has widen my
interests to the next topic...
- Applied logics
applications of modal, temporal, multi-valued,
intuitionistic and conditional logics, always under the perspective of their use for NMR.
Research projects:
- 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.
Other research activities include:
- Scientific Editor of Inteligencia Artificial
(Iberoamerican Journal of Artificial Intelligence).
- Program Committee member of
- Reviewer
for
- Journals: JAIR, TPLP,
JLC, JAL,
ACM-ToCL,
and IA.
- Conferences: LPNMR'07,
CSL'06,
IJCAI'03,
CAEPIA'{97,99,01}
- Workshops: CENT'07 and LA-NMR'04
workshops.
- co-organizer of TARRAT'99
workshop.
- co-organizer of the Dept. of Computer Science PhD programme, Corunna
University.
- member of Texas
Action Group
- member of associations: AEPIA
- member of WASP (European
Working Group on Answer Sets Programming, 2002-2005).
- talk slides: An Introduction to Causal
Reasoning
About Actions (powerpoint slides), Univ.
Rey Juan Carlos, Móstoles, 3/4/2003
|
Publications* by year
|
* - the electronic versions of the
papers included below correspond to preliminary drafts, in most cases
in previous stages to their final publication.
To appear
P. Cabalar and P. E. Santos, "Formalising the
Fisherman's Folly puzzle", Artificial
Intelligence Journal, to appear.
P. Cabalar, "Functional
Answer Set Programming", Theory
and Practice of Logic Programming, to appear.
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 Logic-Based Program Synthesis and
Transformation (LOPSTR'09),
Coimbra, Portugal, September 9-11, 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, 14-18 September 2009, Lecture
Notes in Artificial Intelligence (5753), pp. 58-70, 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 Computer Science (to appear) 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. 8-20, 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:47-64, 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, D. Pearce, P. Rondogianis and W. Wadge, "A Purely
Model-Theoretic Semantics for Disjunctive Logic Programs with
Negation", 9th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR'07),
Tempe, AZ. May 14-17 2007, Lecture
Notes in Artificial Intelligence (4483), pp- 44-57, 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. 745-759, 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. 82-94, 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
(to appear).
P. Cabalar and P. Santos,
"Strings and
holes: an exercise on spatial representation and reasoning",
Proceedings of the 10th Ibero-American
Artificial Intelligence Conference (IBERAMIA'06),
Ribeirão Preto, Brazil, Lecture Notes in Artificial Intelligence (4140),
pp. 419-429, October 2006.
P. Cabalar, S. Odintsov and D. Pearce, "Strong
Negation in Well-Founded and Partial Stable Semantics
for Logic Programs", Proceedings of the 10th
Ibero-American Artificial Intelligence Conference (IBERAMIA'06),
Ribeirão Preto,
Brazil, Lecture Notes
in Artificial Intelligence (4140), pp. 592-601, October
2006. [PDF slides 805K]
P. Cabalar, S. Odintsov, D. Pearce and A. Valverde, "Analysing and Extending Well-Founded 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. 346-360, Seattle, USA, August 2006. [PDF slides 560K]
P. Cabalar, S.
Odintsov and D. Pearce, "Logical Foundations of Well-Founded
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 Well-Founded
Semantics:
Preliminary Report", proceedings
of the 11th Conference of the Spanish for AI (CAEPIA'05), pp.
183-192, 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. 4-17, 2005.
P. Cabalar, "A Functional
Action Language Front-end", 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. 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 and D. Lorenzo, "New insights on the intuitionistic interpretation of
Default Logic," Proceedings of the 16th
European Conference on Artificial Intelligence (ECAI'04), pp. 798-802,
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 Well-Founded semantics with explicit negation,"
International
Conference on Logic
Programming (ICLP'02),
Copenhagen, Denmark, July 2002, Lecture Notes in Computer Science
(2401): 378-392,
2002. [Powerpoint slides 160K]
P. Cabalar, "A
Three-valued 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 Non-monotonic 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 Two-dimensional Here-and-There," Proceedings
of the Workshop on Answer
Set Programming, ASP
2001,
(AAAI Press, technical report SS-01-01), inside the 2001
AAAI Spring Symposium Series,
Stanford, 26-28 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
Non-Monotonic Reasoning NMR'2000,
April 9-11, Breckenridge, Colorado, USA, April 2000.
(Collocated with KR'2000,
April 12-15) [PAL
web page]
1999
P. Cabalar, "Temporal
Answer Sets," Proceedings of the Joint
Conference on Declarative Programming, (APPIA-GULP-PRODE'99),
L'Aquila, Italy, September 6-9, 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):146-159, 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):271-282, 1996.
R. P. Otero, D. Lorenzo, P. Cabalar, "Automatic Induction of DEVS
Structures," Lecture Notes in Computer Science, (1030):305-313,
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.
|
|