A Principle-based Analysis of Abstract Agent Argumentation Semantics. - Liuwen Yu; Dongheng Chen; Lisha Qiao; Yiqi Shen; Leendert van der Torre (KR, 2021)

Verified completeness in Henkin-style for intuitionistic propositional logic. - Huayu Guo; Dongheng Chen; Bruno Bentzen (CoRR, 2023)

Position: Untrained Machine Learning for Anomaly Detection. - Juan Du; Dongheng Chen; Hao Yan (CoRR, 2025)