Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2001-01089
AU - Bichler, Manuel
AU - Morak, Michael
AU - Woltran, Stefan
TI - selp: A Single-Shot Epistemic Logic Program Solver.
JO - CoRR
VL - abs/2001.01089
PY - 2020//
UR - http://arxiv.org/abs/2001.01089
ER -