Towards dynamic answer set programming over finite traces
- Cabalar, P.
- Diéguez, M.
- Schaub, T.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Año de publicación: 2019
Volumen: 306
Tipo: Aportación congreso