A denotational semantics for equilibrium logic

  1. Aguado, F.
  2. Cabalar, P.
  3. Pearce, D.
  4. Pérez, G.
  5. 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: 620-634

Tipo: Artículo

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