View in EDS PDF Full Text

selp: A Single-Shot Epistemic Logic Program Solver.

Saved in:
Bibliographic Details
Title: selp: A Single-Shot Epistemic Logic Program Solver.
Authors: BICHLER, MANUEL1 (AUTHOR) bichler@dbai.tuwien.ac.at, MORAK, MICHAEL1 (AUTHOR), WOLTRAN, STEFAN1 (AUTHOR)
Source: Theory & Practice of Logic Programming. Jul2020, Vol. 20 Issue 4, p435-455. 21p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068420000022