Anthony Hunter. Automated Reasoning with Epistemic Graphs Using SAT Solvers. In Francesca Toni, Sylwia Polberg, Richard Booth 0001, Martin Caminada, Hiroyuki Kido, editors, Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022. Volume 353 of Frontiers in Artificial Intelligence and Applications, pages 176-187, IOS Press, 2022. [doi]
Abstract is missing.