Publicaciones en colaboración con investigadores/as de Vienna University of Technology (4)

2023

  1. Deontic Equilibrium Logic with eXplicit Negation

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

2022

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

    Algorithms, Vol. 15, Núm. 6

2014

  1. A complexity assessment for queries involving sufficient and necessary causes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 297-310

  2. Causal graph justifications of logic programs

    Theory and Practice of Logic Programming