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

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

2015

  1. An infinitary encoding of temporal equilibrium logic

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

  2. On processing extreme data

    Scalable Computing, Vol. 16, Núm. 4, pp. 467-490

2011

  1. Collaboration Language for Social Information Engineering

    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS (ICAS 2011)

  2. NL MIND-BEST: A web server for ligands and proteins discovery-Theoretic-experimental study of proteins of Giardia lamblia and new compounds active against Plasmodium falciparum

    Journal of Theoretical Biology, Vol. 276, Núm. 1, pp. 229-249