TY  - RPRT
TI  - Human Emotion Verification by Action Languages via Answer Set Programming
AU  - Andreas Brännström
AU  - Juan Carlos Nieves
PY  - 2026
DO  - 10.1017/s1471068426100416
UR  - https://arxiv.org/abs/2601.12912
ID  - 2601.12912
ER  -