Publications in collaboration with researchers from University of Angers (1)

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming