TY  - RPRT
TI  - Complexity of Abduction in Łukasiewicz Logic
AU  - Katsumi Inoue
AU  - Daniil Kozhemiachenko
PY  - 2025
DO  - 10.24963/kr.2025/41
UR  - https://arxiv.org/abs/2507.13847
ID  - 2507.13847
ER  -