Dynamic and temporal answer set programming on linear finite traces

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

ISSN: 1613-0073

Ano de publicación: 2019

Volume: 2368

Páxinas: 3-6

Tipo: Achega congreso