TY  - RPRT
TI  - Formally Explaining Decision Tree Models with Answer Set Programming
AU  - Akihiro Takemura
AU  - Masayuki Otani
AU  - Katsumi Inoue
PY  - 2026
DO  - 10.4204/eptcs.439.29
UR  - https://arxiv.org/abs/2601.03845
ID  - 2601.03845
ER  -