Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa. A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction. In Zied Bouraoui, Srdjan Vesic, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings. Volume 14294 of Lecture Notes in Computer Science, pages 40-53, Springer, 2023. [doi]
Abstract is missing.