Dongheng Chen

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Belief Revision

Argumentation Semantics

Top Venues

Publications

Huayu Guo, Dongheng Chen, Bruno Bentzen
Verified completeness in Henkin-style for intuitionistic propositional logic. CoRR (2023)
Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre
A Principle-based Analysis of Abstract Agent Argumentation Semantics. KR (2021)