Skip to content
Case Crunch
Dr Ciarán O'Donnell

Dr Ciarán O'Donnell

Research Fellow, Automated Legal Reasoning

Symbolic reasoning, argument mining and rule-based legal inference

Dr Ciarán O'Donnell explains automated reasoning systems with close attention to method, proof structure and reproducibility. He covers the link between formal logic and practical legal decision support.

Publications by Dr Ciarán O'Donnell

Objective Dimensions of Legal Knowledge in Automated Systems

Automated Reasoning This analysis examines measurable attributes of legal knowledge representation within automated reasoning frameworks,...
Mar 16, '26 · 📖 7 min
Objective Dimensions of Legal Knowledge in Automated Systems

Cookie settings