Emiliano Lorini, Fabián Romero. SAT for Epistemic Logic Using Belief Bases. In Louise A. Dennis, Rafael H. Bordini, Yves Lespérance, editors, Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Volume 12058 of Lecture Notes in Computer Science, pages 235-245, Springer, 2019. [doi]
Abstract is missing.