Anthia Solaki Rule-Based Reasoners in Epistemic Logic. 144-156 2018 ESSLLI Student Sessions https://doi.org/10.1007/978-3-662-59620-3_9 conf/esslli/2018st db/conf/esslli/esslli2018st.html#Solaki18