Automata for dynamic answer set solving: Preliminary report
- Cabalar, P.
- Diéguez, M.
- Hahn, S.
- Schaub, T.
Actas:
CEUR Workshop Proceedings
ISSN: 1613-0073
Año de publicación: 2021
Volumen: 2970
Tipo: Aportación congreso