Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander. Short Boolean Formulas as Explanations in Practice. In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz 0001, editors, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Volume 14281 of Lecture Notes in Computer Science, pages 90-105, Springer, 2023. [doi]
Abstract is missing.