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

Ano de publicación: 2015

Volume: 15

Número: 4-5

Páxinas: 620-634

Tipo: Artigo

DOI: 10.1017/S1471068415000277 GOOGLE SCHOLAR
Fonte de datos: Scopus