Eclingo: A solver for epistemic logic programs

  1. Cabalar, P.
  2. Fandinno, J.
  3. Garea, J.
  4. Romero, J.
  5. Schaub, T.
Journal:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Year of publication: 2020

Volume: 20

Issue: 6

Pages: 834-847

Type: Conference paper

DOI: 10.1017/S1471068420000228 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus