Dynamic and temporal answer set programming on linear finite traces
- Cabalar, P.
- Schaub, T.
Actas:
CEUR Workshop Proceedings
ISSN: 1613-0073
Ano de publicación: 2019
Volume: 2368
Páxinas: 3-6
Tipo: Achega congreso