Publications by the researcher in collaboration with Jorge Fandiño García (36)

2024

  1. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

2023

  1. On the Semantics of Hybrid ASP Systems Based on Clingo

    Algorithms, Vol. 16, Núm. 4

  2. Probabilistic Autoepistemic Equilibrium Logic

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

2022

  1. A polynomial reduction of forks into logic programs

    Artificial Intelligence, Vol. 308

  2. Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

    Algorithms, Vol. 15, Núm. 6

  3. Syntactic ASP Forgetting with Forks

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

2021

  1. A logic program transformation for strongly persistent forgetting

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Towards a semantics for hybrid asp systems

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2020

  1. A system for explainable answer set programming

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. A uniform treatment of aggregates and constraints in hybrid ASP

    17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

  3. An asp semantics for constraints involving conditional aggregates

    Frontiers in Artificial Intelligence and Applications

  4. Autoepistemic answer set programming

    Artificial Intelligence, Vol. 289

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

    CEUR Workshop Proceedings

  6. Eclingo: A solver for epistemic logic programs

    Theory and Practice of Logic Programming

  7. Explicit negation in linear-dynamic equilibrium logic

    Frontiers in Artificial Intelligence and Applications

  8. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

  9. Modular Answer Set Programming as a Formal Specification Language

    Theory and Practice of Logic Programming

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

    IJCAI International Joint Conference on Artificial Intelligence

  11. Splitting Epistemic Logic Programs

    Theory and Practice of Logic Programming

2019

  1. A rule-based system for explainable donor-patient matching in liver transplantation

    Electronic Proceedings in Theoretical Computer Science, EPTCS