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