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

• 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:
  

  • KR'10
  • AAAI'10
  • ECAI'10
  • JELIA'10
    
    
• 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:
  

  • ICLP'10
  • TPLP journal
    
    

  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:

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

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.

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.