Publications by the researcher in collaboration with Martín Diéguez Lodeiro (6)

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2017

  1. Temporal Equilibrium Logic with past operators

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

  2. Temporal logic programs with variables

    Theory and Practice of Logic Programming, Vol. 17, Núm. 2, pp. 226-243

2015

  1. An infinitary encoding of temporal equilibrium logic

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

2013

  1. Temporal equilibrium logic: A survey

    Journal of Applied Non-Classical Logics

2012

  1. Paving the way for temporal grounding

    Leibniz International Proceedings in Informatics, LIPIcs