@inproceedings{c263c8b265024abdad5d9deb32b6c77f,
title = "Automated reasoning in normative detachment structures with ideal conditions",
abstract = "In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text.",
keywords = "Deontic logic, Legal reasoning, Normative ideality",
author = "Tomer Libal and Matteo Pascucci",
note = "Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 17th International Conference on Artificial Intelligence and Law, ICAIL 2019 ; Conference date: 17-06-2019 Through 21-06-2019",
year = "2019",
month = jun,
day = "17",
doi = "10.48550/arXiv.1810.09993",
language = "English",
series = "Proceedings of the 17th International Conference on Artificial Intelligence and Law, ICAIL 2019",
publisher = "Association for Computing Machinery",
pages = "63--72",
booktitle = "Proceedings of the 17th International Conference on Artificial Intelligence and Law, ICAIL 2019",
}