Automata for dynamic answer set solving: Preliminary report
- Cabalar, P.
- Diéguez, M.
- Hahn, S.
- Schaub, T.
Proceedings:
CEUR Workshop Proceedings
ISSN: 1613-0073
Year of publication: 2021
Volume: 2970
Type: Conference paper