Knowledge Processing and Information Systems
eclingo: A solver for Epistemic Logic Programs

@article{DBLP:journals/corr/abs-2008-02018,
  title = {eclingo: {A} solver for Epistemic Logic Programs},
  author = {Cabalar, Pedro and Fandinno, Jorge and Garea, Javier and Romero, Javier and Schaub, Torsten},
  journal = {CoRR},
  volume = {abs/2008.02018},
  year = {2020}
}