Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (23)

2024

  1. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

2023

  1. Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends

    Information Fusion, Vol. 100

  2. Logic, Accountability and Design: Extended Abstract

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

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)

2020

  1. Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications

    Neurocomputing, Vol. 410, pp. 237-270

  2. Forgetting Auxiliary Atoms in Forks

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

  3. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Forgetting auxiliary atoms in forks

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

  2. Revisiting Explicit Negation in Answer Set Programming

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

2018

  1. Answer Set Programming from a Logical Point of View

    KI - Kunstliche Intelligenz, Vol. 32, Núm. 2-3, pp. 109-118

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

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

2015

  1. A denotational semantics for equilibrium logic

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

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

2009

  1. A revised concept of safety for general answer set programs

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