1.     Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, 2019.

2.     Pietro Baroni, Massimiliano Giacomin, and Beishui Liao. A general semi-structured formalism for computational argumentation: definition, properties, and examples of application. Artificial Intelligence, 2018.

3.     Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, 2018.

4.     Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 2017.

5.     Dov M.Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre. Present and Future of Formal Argumentation. Dagstuhl Reports, 2016.

6.     Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.

7.     Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 2013.

8.     Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation, 2013.

9.     Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 2011.