An infinitary encoding of temporal equilibrium logic

  1. Cabalar, P.
  2. Diéguez, M.
  3. Vidal, C.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Año de publicación: 2015

Volumen: 15

Número: 4-5

Páginas: 666-680

Tipo: Artículo

DOI: 10.1017/S1471068415000307 GOOGLE SCHOLAR
Fuente de los datos: Scopus