Dongheng Chen

According to our database, Dongheng Chen authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verified completeness in Henkin-style for intuitionistic propositional logic.

Huayu Guo, Dongheng Chen, Bruno Bentzen

CoRR, 2023

2021

A Principle-based Analysis of Abstract Agent Argumentation Semantics.

Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021