Heng Zheng

Heng Zheng

Research Associate

Master, Logic, Sun Yat-sen University

Research focus

AI and Argumentation, AI and Law

Publications & Papers

Zheng, H., Grossi, D., & Verheij, B. (2021). Hardness of Case-Based Decisions: a Formal Theory. The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021). Proceedings of the Conference. New York (New York): ACM. doi.org/10.1145/3462757.3466071

Zheng H., Grossi D., Verheij B. (2021) Logical Comparison of Cases. In: Rodríguez-Doncel V., Palmirani M., Araszkiewicz M., Casanovas P., Pagallo U., Sartor G. (eds) AI Approaches to the Complexity of Legal Systems XI-XII. AICOL 2020, AICOL 2018, XAILA 2020. Lecture Notes in Computer Science, vol 13048. Springer, Cham. doi.org/10.1007/978-3-030-89811-3_9

Zheng, H. (2021). Modeling Case-Based Reasoning with the Precedent Model Formalism: An Overview. Online Handbook of Argumentation for AI: Volume 2 (eds. Castagna, F., Mosca, F., Mumford, J., Sarkadi, S., Xydis A.), 72-76. arXiv. arXiv:2106.10832

Zheng, H., Grossi, D., & Verheij, B. (2021). A formal approach to case comparison in case-based reasoning: research abstract. The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021).

Zheng, H., & Verheij, B. (2021). Rules, cases and arguments in artificial intelligence and law. Research Handbook on Big Data Law (ed. Vogl, R.), 373-387. Cheltenham: Edgar Elgar Publishing. www.e-elgar.com/shop/gbp/research-handbook-on-big-data-law-9781788972819.html

Zheng, H., Grossi, D., & Verheij, B. (2020). Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. Proceedings of the EXplainable & Responsible AI in Law (XAILA) Workshop at JURIX 2020.

Zheng, H., Grossi, D., & Verheij, B. (2020). Precedent Comparison in the Precedent Model Formalism: A Technical Note. Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference (eds. Villata, S., Harašta, J., & Kšemen, P.), 259-262. Amsterdam: IOS Press. doi.org/10.3233/FAIA200878

Zheng, H., Grossi, D., & Verheij, B. (2020). Case-Based Reasoning with Precedent Models: Preliminary Report. Computational Models of Argument. Proceedings of COMMA 2020 (eds. Prakken, H., Bistarelli, S., Santini, F., & Taticchi, C.), 443-450. Amsterdam: IOS Press. doi.org/10.3233/FAIA200528

Zheng, H., Xiong, M., & Verheij, B. (2018). Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. Legal Knowledge and Information Systems. JURIX 2018: The Thirty-first Annual Conference (ed. Palmirani, M.), 220-224. Amsterdam: IOS Press. dx.doi.org/10.3233/978-1-61499-935-5-220

Presentations

Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. Legal Knowledge and Information Systems (JURIX 2018), Groningen, The Netherlands, December 2018.

Introduction to case-based reasoning. Argumentation in artificial intelligence reading group, University of Groningen, Groningen, The Netherlands, June 2020.

Case-Based Reasoning with Precedent Models: Preliminary Report. Computational Models of Argument (COMMA 2020), online, September 2020.

Precedent Comparison in the Precedent Model Formalism: A Technical Note. Legal Knowledge and Information Systems (JURIX 2020), online, December 2020.

Hardness of Case-Based Decisions: a Formal Theory. Joint meeting of the Argumentation in AI Reading group and MAS group, University of Groningen, Groningen, The Netherlands, June 2021.

Hardness of Case-Based Decisions: a Formal Theory. ICAIL 2021, online, June 2021.