CITIC - Centre for Information and Communications Technology Research
Research Center and Specialization Campus
University of Angers
Angers, FranciaPublications in collaboration with researchers from University of Angers (1)
2021
-
Linear-Time Temporal Answer Set Programming
Theory and Practice of Logic Programming