TY  - RPRT
TI  - A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
AU  - Shota Motoura
AU  - Ayako Hoshino
AU  - Itaru Hosomi
AU  - Kunihiko Sadamasa
PY  - 2025
DO  - 10.1016/j.ijar.2025.109382
UR  - https://arxiv.org/abs/2502.09989
ID  - 2502.09989
ER  -