Publicaciones en colaboración con investigadores/as de Université de Toulouse (20)

2023

  1. Metric dynamic equilibrium logic

    Journal of Applied Non-Classical Logics, Vol. 33, Núm. 3-4, pp. 495-519

  2. Probabilistic Autoepistemic Equilibrium Logic

    Intelligent Systems Reference Library (Springer Science and Business Media Deutschland GmbH), pp. 81-87

2020

  1. Autoepistemic answer set programming

    Artificial Intelligence, Vol. 289

  2. Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

    CEUR Workshop Proceedings

  3. On the Splitting Property for Epistemic Logic Programs

    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE

  4. On the splitting property for epistemic logic programs (extended abstract)

    IJCAI International Joint Conference on Artificial Intelligence

  5. Splitting Epistemic Logic Programs

    Theory and Practice of Logic Programming

2019

  1. Forgetting auxiliary atoms in forks

    Artificial Intelligence, Vol. 275, pp. 575-601

  2. Founded World Views with Autoepistemic Equilibrium Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Gelfond–Zhang aggregates as propositional formulas

    Artificial Intelligence, Vol. 274, pp. 26-43

  4. Lower Bound Founded Logic of Here-and-There

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Revisiting Explicit Negation in Answer Set Programming

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924

  6. Splitting Epistemic Logic Programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

    Theory and Practice of Logic Programming

2017

  1. A short biography of Luis Fariñas del Cerro

    Journal of Applied Non-Classical Logics

  2. Forgetting auxiliary atoms in forks

    CEUR Workshop Proceedings

  3. On the properties of atom definability and well-supportedness in logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Temporal Equilibrium Logic with past operators

    Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 161-177

2015

  1. An infinitary encoding of temporal equilibrium logic

    Theory and Practice of Logic Programming, Vol. 15, Núm. 4-5, pp. 666-680

2014

  1. A free logic for stable models with partial intensional functions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 340-354