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

2024

  1. RCIS 2024: Joint Proceedings of Workshops and Research Projects Track

    CEUR Workshop Proceedings

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

2021

  1. Gaia Early Data Release 3: Acceleration of the Solar System from Gaia astrometry

    Astronomy and Astrophysics, Vol. 649

  2. Gaia Early Data Release 3: Structure and properties of the Magellanic Clouds

    Astronomy and Astrophysics, Vol. 649

  3. Gaia Early Data Release 3: Summary of the contents and survey properties

    Astronomy and Astrophysics, Vol. 649

  4. Gaia Early Data Release 3: The Galactic anticentre

    Astronomy and Astrophysics, Vol. 649

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 (extended abstract)

    IJCAI International Joint Conference on Artificial Intelligence

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