Journal papers:
  • Chen J, Greco G, Palmigiano A, et al. Syntactic completeness of proper display calculi[J]. ACM Transactions on Computational Logic，2022
  • Edmond Awad, Sydney Levine, Michael Anderson, et al. Computational ethics[J]. Trends in Cognitive Sciences, 2022, 388-405.
  • Johan Van Benthem J, Lei Li, Chenwei Shi, Haoxuan Yin. Hybrid sabotage modal logic[J]. Journal of Logic and Computation, 2022.
  • Chi Haixiao, Liao Beishui. A quantitative argumentation-based Automated eXplainable Decision System for fake news detection on social media[J]. Knowledge-Based Systems, 2022, 242: 108378.
  • Anderson M, Anderson S L, Gounaris A, et al. Towards moral machines: a discussion with michael Anderson and susan Leigh Anderson[J]. Conatus-Journal of Philosophy, 2021, 6(1): 177-202.
  • Chen J, Greco G, Palmigiano A, et al. Non-normal modal logics and conditional logics: Semantic analysis and proof theory[J]. Information and Computation, 2021: 104756.
  • Chen Chen, Huimin Dong, Beishui Liao. Semi-structured probabilistic argumentation. Studies in Logic. 2021(2): 1-21.
  • Haixiao. Chi, Yiwei. Lu, Beishui. Liao, L. Xu and Y. Liu, “An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-Commerce Transactions,” in IEEE Intelligent Systems, vol. 36, no. 2, pp. 52-63, 1 March-April 2021.
  • Jieting Luo, Beishui Liao, John-Jules Meyer. Reasoning about the Dynamics of Self-organizing Multi-agent systems, Studies in Logic, 2021, 14(3): 53-69.
  • Bin Wei, Kun Kuang, Changlong Sun, et al., A full-process Intelligent Trial System for Smart Court, Frontiers of Information Technology & Electronic Engineering, in press.
  • Bin Wei, Formalization Puzzles of Plausible Reasoning, Studies in Philosophy of Science and Technology, 2021,Vol.38, No.5,pp.27-32.
  • Wei Zhou, ZhaoYu Wang, Bin Wei*, Abstractive Automatic Summarizing Model for Legal Judgment Documents, Computer Science, 2021, Vol.48, No.1, pp.331-336.
  • Bin Wei, Analysis of the Integration Path of Symbolism and Connectionism of Artificial Intelligence, Studies in Dialectics of Nature, in press.
Conference papers:
  • Chonghui Li and Beishui Liao. Integrating Individual Preferences into Collective Argumentation, the 4th International Conference on Logic and Argumentation (CLAR 2021), Hangzhou, 20-22 October 2021.
  • Zhe Yu, Shier Ju*. “Getting Consensus Through a Context-Based Argumentation Framework”. In Logics for New-Generation AI 2021, College Publications (ISBN 978-1-84890-373-9) – Proceedings of the 1st International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), Hangzhou, China, 18-20 June, 2021, vol. 1: 132-145.
  • Jinsheng Chen, Beishui Liao and Leendert van der Torre. Base Argumentation as an Abstraction of Deductive Argumentation, the 4th International Conference on Logic and Argumentation (CLAR 2021) , Hangzhou, 20-22 October 2021.
  • Chonghui Li and Beishui Liao. Intrinsic and Extrinsic Argument Strengths in Collective Argumentation. In Proceedings of the First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), 2021, College Publications.
  • Lisha Qiao, Yiqi Shen, Liuwen Yu, Beishui Liao and Leendert van der Torre. Arguing Coalitions in Abstract Argumentation. In Proceedings of the First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), 2021, College Publications.
  • Bin Wei, Analysing plausible reasoning with a gradual argumentation model, in Proceedings of the First International Workshop on Logics for New-Generation Artificial Intelligence, College Publications, 2021, pp.146-149.
  • Zhe Yu, BEISHUI LIAO, THOMAS ÅGOTNES, YI N. WANG, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 .
Proceedings:
  • Beishui Liao, Jieting Luo and Leendert van der Torre, eds. Proceedings of the First International Workshop on Logics for New-Generation Artificial Intelligence, College Publications, 2021, ISBN-13 978-1-84890-373-9.