A Reduction Model for Dimensions and Incomplete Facts

Agata Ciabattoni, Adrian Chroust, Yoann Morello, Henri Thölke

June 2026

Type

Conference paper

Publication

International Conference on Artificial Intelligence and Law (ICAIL 2026)

Agata Ciabattoni

Professor of Non-Classical Logics in Computer Science

Agata Ciabattoni is a full professor of non-classical logics in computer science. She is an expert in proof theory for non-classical logics and their applications in various fields. Among other things, she has been investigating proof theory for deontic logic, its applications in AI, connections to legal reasoning, and formalisation of the deontic reasoning of the Mı̄māmsā school of Indian philosophy.