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

2024

  1. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

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

2020

  1. Explicit negation in linear-dynamic equilibrium logic

    Frontiers in Artificial Intelligence and Applications

  2. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

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. Revisiting Explicit Negation in Answer Set Programming

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

2017

  1. Forgetting auxiliary atoms in forks

    CEUR Workshop Proceedings