Publicaciones en colaboración con investigadores/as de Université de Toulouse (5)

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

2017

  1. Forgetting auxiliary atoms in forks

    CEUR Workshop Proceedings

  2. Temporal Equilibrium Logic with past operators

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

2015

  1. An infinitary encoding of temporal equilibrium logic

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