Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. - Heng Zheng 001; Minghui Xiong; Bart Verheij (JURIX, 2018)

Logical Comparison of Cases. - Heng Zheng 001; Davide Grossi; Bart Verheij (AICOL, 2020)

Case-Based Reasoning with Precedent Models: Preliminary Report. - Heng Zheng 001; Davide Grossi; Bart Verheij (COMMA, 2020)

Precedent Comparison in the Precedent Model Formalism: A Technical Note. - Heng Zheng 001; Davide Grossi; Bart Verheij (JURIX, 2020)

Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. - Heng Zheng 001; Davide Grossi; Bart Verheij (XAILA@JURIX, 2020)

Hardness of case-based decisions: a formal theory. - Heng Zheng 001; Davide Grossi; Bart Verheij (ICAIL, 2021)

Enhancing Entity Alignment Between Wikidata and ArtGraph Using LLMs. - Anna Sofia Lippolis; Antonis Klironomos; Daniela F. Milon-Flores; Heng Zheng 001; Alexane Jouglar; Ebrahim Norouzi; Aidan Hogan (SWODCH, 2023)

Arguing About Controversial Science in the News: Does Epistemic Uncertainty Contribute to Information Disorder? - Heng Zheng 001; Theodore Dreyfus Ledford; Jodi Schneider (iConference (2), 2024)

Addressing Unreliability Propagation in Scientific Digital Libraries. - Heng Zheng 001; Yuanxi Fu; M. Janina Sarol; Ishita Sarraf; Jodi Schneider (JCDL, 2024)

Semantic Web and Creative AI - A Technical Report from ISWS 2023. - Raia Abu Ahmad; Reham Alharbi; Roberto Barile; Martin Böckling; Francisco Bolanos; Sara Bonfitto; Oleksandra Bruns; Irene Celino; Yashrajsinh Chudasama; Martin Critelli; Claudia d'Amato; Giada D'Ippolito; et al. (CoRR, 2025)

AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks. - Yilin Xia; Heng Zheng 001; Shawn Bowers; Bertram Ludäscher (CoRR, 2025)