A denotational semantics for equilibrium logic

  1. Aguado, F.
  2. Cabalar, P.
  3. Pearce, D.
  4. Pérez, G.
  5. Vidal, C.
Journal:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Year of publication: 2015

Volume: 15

Issue: 4-5

Pages: 620-634

Type: Article

DOI: 10.1017/S1471068415000277 GOOGLE SCHOLAR
Data source: Scopus