Dynamic and temporal answer set programming on linear finite traces
- Cabalar, P.
- Schaub, T.
ISSN: 1613-0073
Año de publicación: 2019
Volumen: 2368
Páginas: 3-6
Tipo: Aportación congreso
ISSN: 1613-0073
Año de publicación: 2019
Volumen: 2368
Páginas: 3-6
Tipo: Aportación congreso