Dynamic and temporal answer set programming on linear finite traces

  1. Cabalar, P.
  2. Schaub, T.
Actas:
CEUR Workshop Proceedings

ISSN: 1613-0073

Año de publicación: 2019

Volumen: 2368

Páginas: 3-6

Tipo: Aportación congreso