Implementing dynamic answer set programming over finite traces
- Cabalar, P.
- Diéguez, M.
- Schaub, T.
- Laferriere, F.
ISSN: 0922-6389
ISBN: 9781643681009
Año de publicación: 2020
Volumen: 325
Páginas: 656-663
Tipo: Aportación congreso
Colección de libros:
Frontiers in Artificial Intelligence and Applications