Publicacións nas que colabora con Jorge Fandiño García (31)

2022

  1. A polynomial reduction of forks into logic programs

    Artificial Intelligence, Vol. 308

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

  2. Forgetting auxiliary atoms in forks

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

  3. Founded World Views with Autoepistemic Equilibrium Logic

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

  4. Gelfond–Zhang aggregates as propositional formulas

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

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