TY  - RPRT
TI  - eclingo: A solver for Epistemic Logic Programs
AU  - Pedro Cabalar
AU  - Jorge Fandinno
AU  - Javier Garea
AU  - Javier Romero
AU  - Torsten Schaub
PY  - 2020
UR  - https://arxiv.org/abs/2008.02018
ID  - 2008.02018
ER  -