Publicaciones en colaboración con investigadores/as de University of Angers (1)

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming