Foto 

Pedro Cabalar

Full Professor

Department of Computer Science
Corunna University,
Galicia, Spain
Short bio.
Teaching
Research
Publications

Facultade de Informática,
Campus de Elviña S/N
E-15008, A Coruña, Spain.

Tel.:   +34 881011265
Fax:    +34 981 167160
e-mail:  


Short Bio.


Download a résumé paragraph

Born in Cabanas, Corunna, on 20th of July of 1969 (Neil Armstrong was very busy that day...). Some facts, in reverse chronological order:

External links

Research

Research interests
  • 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 Spatio-Temporal Reasoning.

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

    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.

Our research group on logic in AI is integrated in the Information Retrieval Laboratory (IRLab), University of Corunna.

Research projects and grants:

  • ARLEKIN: Automated Reasoning and Learning with Knowledge Induction
    PID2020-116201GB-I00, Spanish Ministry of Science and Innovation (MICINN), co-supervised with José Santos Reyes, September 2021 - August 2024.

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

  • Brais Muñiz Castro. "Generating Commonsense Explanations with Answer Set Programming." PhD thesis, supervisors: Pedro Cabalar and Gilberto Pérez. Department of Computer Science and Information Technologies, University of Corunna, June 25th, 2024.
Other research activities include:

Teaching coordinator

Other tools

Publications* by year
* - the electronic versions of the papers included below correspond to either preliminary drafts, in a previous stage to their final publication, or open access publications in their final form.

Unpublished drafts



P. Cabalar, B. Muñiz, G. Pérez and F. Suárez, "Explainable Machine Learning for Liver Transplantation", unpublished draft.

2024

Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero and Torsten Schaub, "Compiling Metric Temporal Answer Set Programming". 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024), Dallas, Texas, October 11-14, 2024.

Pedro Cabalar, Martín Diéguez, François Laferriere, Torsten Schaub and Igor Stéphan, "A Fixpoint Characterisation of Temporal Equilibrium Logic" 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024), Dallas, Texas, October 11-14, 2024.

Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz and Joel Sare, "tExplain: Information Extraction with Explanations". 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024), Dallas, Texas, October 11-14, 2024.

A. Becker, P. Cabalar, M. Diéguez, T. Schaub and A. Schuhmann, "Metric Temporal Equilirium Logic over Timed Traces", Theory and Practice of Logic Programming, 2024.

P. Cabalar and B. Muñiz, "Model Explanation via Support Graphs", Theory and Practice of Logic Programming, 2024, to appear.

F. Aguado, P. Cabalar, J. Fandinno, D. Pearce. G. Pérez and C. Vidal, "Syntactic ASP forgetting with forks", Artificial Intelligence 326, 2024.

P. Cabalar, T. Eiter and D. Soldà, "Contracted Temporal Here and There", 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'2024), Hanoi, Vietnam, November 2 - 8, 2024.

2023

P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Probabilistic Autoepistemic Equilibrium Logic", In: Abe, J.M. (eds) Advances in Applied Logics. Intelligent Systems Reference Library, vol 243. Springer, Cham, 2023.

A. Becker, P. Cabalar, M. Diéguez, L. Fariñas del Cerro, T. Schaub and A. Schuhmann, "Metric dynamic equilibrium logic", Journal of Applied Non-Classical Logics 33(3-4), pp. 495-519, 2023.

P. Cabalar, J. Fandinno, T. Schaub and P. Wanko, "On the Semantics of Hybrid ASP Systems Based on Clingo", Algorithms 16(4), 185, 2023. [https://doi.org/10.3390/a16040185]

P. Cabalar, A. Ciabattoni, L. van der Torre, "Deontic Equilibrium Logic with eXplicit negation", 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA'23), Dresden, Germany, September 20-22, 2023 (to appear).

P. Cabalar, M. Diéguez, F. Laferrière and Torsten Schaub, "Past-present temporal logic programs over finite traces", 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA'23), Dresden, Germany, September 20-22, 2023 (to appear).

P. Cabalar and D. Pearce, "Logic, Accountability and Design", 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA'23), Dresden, Germany, September 20-22, 2023 (to appear).

F. Aguado, P. Cabalar, M. Diéguez, G. Pérez, T. Schaub, A. Schuhmann and C. Vidal, "Linear-Time Temporal Answer Set Programming", Theory and Practice of Logic Programming 23(1), pp.2-56, 2023. (Special issue for the 20th anniversary of TPLP).

P. Cabalar and B. Muñiz, "Explanation Graphs for Stable Models of Labelled Logic Programs", Proceedings of the 16th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'23),  London, UK, July 10th, 2023.

P. Cabalar, M. Diéguez, F. Laferrière and Torsten Schaub, "Past-present temporal logic programs over finite traces: preliminary report", Proceedings of the 16th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'23),  London, UK, July 10th, 2023.

P. Cabalar and B. Muñiz, "Explanation Graphs for Stable Models of Labelled Logic Programs", Proceedings of the 16thWorkshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'23), London, UK, July 10th, 2023.

Paola Carou-Senra, Jun Jie Ong, Brais Muñiz Castro, Iria Seoane-Viaño, Lucía Rodríguez-Pombo, Pedro Cabalar, Carmen Alvarez-Lorenzo, Abdul W. Basit, Gilberto Pérez, Alvaro Goyanes, "Predicting pharmaceutical inkjet printing outcomes
using machine learning", International Journal of Pharmaceutics: X, Volume 5, 2023.
2022

F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez and C. Vidal, "Syntactic ASP Forgetting with Forks", in Proceedings of the 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2022), Genoa, Italy, September 5th-9th, 2022, Lecture Notes in Computer Science 13416, pp 3--15, Springer, 2022.

P. Cabalar, M. Diéguez, T. Schaub and A. Schuhmann, "Metric Temporal Answer Set Programming over Timed Traces", in Proceedings of the 16th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2022), Genoa, Italy, September 5th-9th, 2022. Lecture Notes in Computer Science 13416, pp 3--15, Springer, 2022.

M. Framil, P. Cabalar and J. Santos, "A MaxSAT Solver based on Differential Evolution (preliminary report)", in Proceedings of the 21st EPIA Conference on Artificial Intelligence (EPIA 2022), Lisbon, Portugal, August 31st - September 1st, 2022. Lecture Notes in Computer Science 13566, pp. 676--687, Springer 2022.

P. Cabalar, Z. Falomir, P. E. Santos and T. Tenbrink, "Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)", Dagstuhl Reports 11, pp. 1-55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISSN 2192-5283, Dagstuhl, Germany, 2022.

F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez and C. Vidal, "A Polynomial Reduction of Forks into Logic Programs", Artificial Intelligence 308 (103712), July 2022.

P. E Santos, T. Freitas dos Santos, L. Anjoletto Ferreira, R. A. C. Bianchi and P. Cabalar, "Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles", Applied Intelligence 52(4), pp. 4488-4510, 2022.

Jun Jie Ong, Brais Muñiz, Simon Gaisford, Pedro Cabalar, Abdul W. Basit, Gilberto Pérez, Alvaro Goyanes, "Accelerating 3D printing of pharmaceutical products using machine learning", International Journal of Pharmaceutics: X, Volume 4, 100120, 2022.

2021

 P. Cabalar, "Temporal ASP: from logical foundations to practical use with telingo", Reasoning Web Summer School 2021, 8-15 September 2021, Leuven, Belgium. [video tutorial, 2h]

P. Cabalar, M. Diéguez, A. Schuhmann and T. Schaub, "Metric Temporal Answer Set Programming over Timed Traces (extended abstract)", Fifth Stream Reasoning Workshop, Milan, Italy, October 4-6, 2021.

P. Cabalar, R. Martín, B. Muñiz and G. Pérez, "aspBEEF: Explaining Predictions Through Optimal Clustering (preliminary report)", 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'21) September 21, 2021.

P. Cabalar, M. Diéguez, S. Hahn and T. Schaub, "Automata for Dynamic Answer Set Solving: Preliminary Report (invited paper)," 14th Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP'21) September 21, 2021.

P. Cabalar, B. Muñiz Castro, G. Pérez and F. Suárez, "Explanation of Decision Trees Applied to Liver Transplantation", First International Workshop on eXplainable Artificial Intelligence in Healthcare (XAI-Healthcare'21) (virtual event) June 16, 2021, colocated with the 19th Intl. Conf. on AI in Medicine (AIME'21).

P. Cabalar, J. Fandinno, T. Schaub and P. Wanko, "Towards a Semantics for Hybrid ASP Systems: Extended Abstract", in Proceedings of the 37th International Conference on Logic Programming (ICLP'21), EPTCS 345 pp. 48-50, Porto, Portugal (virtual event), September 20-27, 2021.

F. Aguado, P. Cabalar, J. Fandinno, G. Pérez and C. Vidal, "A Logic Program Transformation for Strongly Persistent Forgetting - extended abstract", in Proceedings of the 37th International Conference on Logic Programming (ICLP'21), EPTCS 345 pp. 11-13, Porto, Portugal (virtual event), September 20-27, 2021. [video presentation]

F. Aguado, P. Cabalar, J. Fandinno, G. Pérez and C. Vidal, "Functional Equilibrium Graphs: Application to Action Theories," in Proceedings of the 21st International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE'21), Rota, Spain, July 22-27, 2021. [video presentation]
 
B. Muñiz, M. Elbadawi, J. J. Ong, T. Pollard, Z. Song, S. Gaisford, G. Pérez, A. W. Basit, P. Cabalar and A. Goyanes, "Machine learning predicts 3D printing performance of over 900 drug delivery systems", Journal of Controlled Release 337, pp. 530-545, 2021.

P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Splitting Epistemic Logic Programs", Theory and Practice of Logic Programming 21 (3), pp. 296-316, 2021. [Best paper award LPNMR19]

2020

P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Autoepistemic Answer Set Programming", Artificial Intelligence 289, 2020.

M. Elbadawi, B. Muñiz. F. K. H. Gavins, J. J. Ong, S. Gaisford, G. Pérez, A. W. Basitac, P. Cabalar and Á. Goyanes "M3DISEEN: A Novel Machine Learning Approach for Predicting the 3D Printability of Medicines", International Journal of Pharmaceutics, 2020.

P. Cabalar, Temporal Modalities in Answer Set Programming (invited talk), LIPICs vol. 178, Proceedings of the 27th Intl. Symp. on Temporal Representation and Reasoning (TIME 2020).

P. Cabalar, R. Martín and B. Muñiz, "AspBEEF: explaining predictions through optimal clustering", III congreso XoveTIC, A Coruña, Spain, October 8-9, Proceedings 54(1):51, 2020.

P. Cabalar, J. Fandinno and B. Muñiz, "A System for Explainable Answer Set Programming", in Proc. of the 36th International Conference on Logic Programming (ICLP'20), EPTCS 325, pp 124-136, 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 20(6), pp. 834-847, 2020. [Best student paper ICLP'20]

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 20(5), pp. 783-798, 2020.

P. Cabalar, J. Fandinno and Y. Lierler, "Modular Answer Set Programming as a Formal Specification Language", in Proc. of the 36th International Conference on Logic Programming (ICLP'20), September 2020, Theory and Practice of Logic Programming 20(5), pp. 767-782, 2020.

P. Cabalar, J. Fandinno, T. Schaub and P. Wanko, "A Uniform Treatment of Aggregates and Constraints in Hybrid ASP," in Proc. of the 17th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'20), pp. 193-202, September 2020.

P. Cabalar and P. Santos, "Spatial Reasoning about String Loops and Holes in Temporal ASP," in Proc. of the 17th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'20), pp. 182-192, September 2020.

F. Aguado, P. Cabalar, J. Fandinno, G. Pérez and C. Vidal, "Explicit Negation in Linear-Dynamic Equilibrium Logic", Proc. of the 24th  European Conference on Artificial Intelligence (ECAI'20), pp. 569-576, Santiago de Compostela, Spain, 10-12 June 2020. [video presentation]

P. Cabalar, J. Fandinno, T. Schaub and P. Wanko, "An ASP semantics for Constraints involving Conditional Aggregates", Proc. of the 24th European Conference on Artificial Intelligence (ECAI'20), pp. 664-671, Santiago de Compostela, Spain, 10-12 June 2020.

P. Cabalar, M. Diéguez, F. Laferriere and T. Schaub, "Implementing Dynamic Answer Set Programming over finite traces", Proc. of the 24th European Conference on Artificial Intelligence (ECAI'20), pp. 656-663, Santiago de Compostela, Spain, 10-12 June 2020.

2019

P. E. Santos, P. Cabalar and R. Casati, "The Knowledge of Knots: an interdisciplinary literature review", Spatial Cognition and Computation 2019.

P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning", in Proc. of the 10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'19) Philadeplphia, PA, USA, June 3rd, 2019.

P. Cabalar, J. Fandinno, B. Muñiz, G. Pérez and F. Suárez, "A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation", in 15th International Conference on Logic Programming (ICLP'19), technical communications applications track, September 20-25, 2019. Electronic Proceedings of Theoretical Computer Science 306, pp. 266-272, 2019.

F. Aguado, P. Cabalar, F. Fandinno, D. Pearce, G. Pérez and C. Vidal, "Forgetting Auxiliary Atoms in 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.


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, M. Diéguez and T. Schaub, "Towards Dynamic Answer Set Programming over Finite Traces", in Proc. of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'19) Philadelphia, PA, USA, June 3-7, 2019. Lecture Notes in Computer Science (LNCS) 11481, pp. 148-162, 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. Lecture Notes in Computer Science (LNCS) 11481, pp. 256-269, 2019.

P. Cabalar, J. Fandinno and L. Fariñas Del Cerro, "Founded World Views with Autoepistemic Equilibrium Logic", in Proc. of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'19), Philadelphia, PA, USA, June 3-7, 2019. Lecture Notes in Computer Science  (LNCS) 11481, pp. 134-147, 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. Lecture Notes in Computer Science (LNCS) 11481, pp. 120-133, 2019. [Best paper award]

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.  Lecture Notes in Computer Science (LNCS) 11468, pp. 509-525, 2019. [Best student paper JELIA'19]

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.

P. Cabalar, S. Costantini, G. De Gasperis and A. Formisano, "Multi-Context Systems in Dynamic Environments", Annals of Mathematics and Artificial Intelligence (AMAI), March 2019.

2018

T. Freitas, P. E. Santos, L. A. Ferreira, R. A. C. Bianchi and P. Cabalar, "Solving a spatial puzzle using Answer Set Programming integrated with Markov Decision Process", in Proc. of the 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018.

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, J. Fandinno, T. Schaub and S. Schellhorn, "Lower Bound Founded Logic of Here-and-There: A Preliminary Report", in Proc. of the 17th Intl. Workshop on Non-Monotonic Reasnoning (NMR'18), Tempe, Arizona, USA, October 27th-29th, 2018.

P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Splitting Epistemic Logic Programs", in Proc. of the 17th Intl. Workshop on Non-Monotonic Reasnoning (NMR'18), Tempe, Arizona, USA, October 27th-29th, 2018.
 
P. Cabalar, D. Pearce and A. Valverde, "Answer Set Programming from a Logical Point of View", Künstliche Intelligenz, 32(2-3): 109-118, 2018., , L. Fariñas del Cerro and D. Pearce,  "Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates". Intl. Conference on Logic Programming (ICLP'18), Oxford, UK, July 14-17, 2018. Theory and Practice of Logic Programming 18(3-4): 390-405, 2018.

2017
, , and , "A short biography of Luis Fariñas del Cerro". Journal of Applied Non-Classical Logics 27(3-4): 153-160, 2017.

P. Cabalar, D. Pearce and A. Valverde, "Stable Reasoning," Journal of Applied Non-Classical Logics 27(3-4): 238-254, 2017.

F. Aguado, P. Cabalar, M. Diéguez, G. Pérez and C. Vidal "Temporal Equilibrium Logic with Past Operators," Journal of Applied Non-Classical Logics 27(3-4): 161-177, 2017.

 P. Cabalar, J. Fandinno, L. Fariñas del Cerro, D. Pearce and A. Valverde, "On the Properties of Atom Definability and Well-Supportedness in Logic Programming", 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. 624-636, 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 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. 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. 195-213, 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. 226-243, 2017.

P. Cabalar and J. Fandinno, "Enablers and Inhibitors in Causal Justifications of Logic Programs," Theory and Practice of Logic Programming, 17 (1), pp. 49-74, 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, "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 and J. Fandinno "Justifications for Programs with Disjunctive and Causal-choice Rules," in Proc. of the 32nd Intl. Conf. on Logic Programming (ICLP'16), New York, USA, October 16-21, 2016. Theory and Practice of Logic Programming 16 (5-6), pp. 587-603, 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 9-15th, 2016.

P. Cabalar and P. E. Santos, "A Qualitative Spatial Representation of String Loops as Holes," Artificial Intelligence 238, pp. 1-10, 2016.

P. Santos and P. Cabalar, "Framing Holes within a Loop Hierarchy," Spatial Cognition and Computation 16 (1), 54-95, 2016.

2015

 P. Cabalar, "Stable Models for Temporal Theories - Invited Talk," in Proc. of the 13th Intel. Conf. on Logic Programming and Non-Monotonic 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 Non-Monotonic 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 (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.

F. Aguado, P. Ascariz, P. Cabalar, G. Pérez and C. Vidal, "Formal Veri fication 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 6-10, 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, "Strong Equivalence of Non-Monotonic Temporal Theories," in Proc. of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), Vienna, Austria. July 20-24, 2014. [extended version].

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

P. E. Santos and P. Cabalar, "An investigation of actions, change, space within a hole-loop dichotomy" in Proc. of the 11th Intl. Symp. on Logical Formalizations of Commonsense Reasoning, Ayia Napa, Cyprus, 27-29 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 Spatio-temporal Dynamics Workshop (STeDy'12), Montpellier 2012. p. 36-44 (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, 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.


2011

P. Cabalar and S. Demri, "Automata-based Computation of Temporal Equilibrium Models," in 21st International Symposium on Logic-Based 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. 334-343, Springer, 2011.

P. Cabalar, "A logical Characterisation of Ordered Disjunction" in AI Communications 24, 2, pp. 165-175, 2011.

P. Cabalar, "Functional Answer Set Programming", Theory and Practice of Logic Programming, 11 (2-3), pp. 203-233, 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 16-19, 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 16-19, 2011.

P. Cabalar and P. E. Santos, "Formalising the Fisherman's Folly puzzle", Artificial Intelligence 175(1), pp. 346-377, 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 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, "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 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 Artificial Intelligence, vol. 5293, pp. 8-20, 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.

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.
A larger preliminary version in Proc. of the Temporal Reasoning Workshop (TARRAT'99), associated to CAEPIA-TTIA'99, Murcia, Spain. 1999.

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.
last updated: May 27th 2016