Automated reasoning in normative detachment structures with ideal conditions-Reference-Cited by-同舟云学术

Automated reasoning in normative detachment structures with ideal conditions

Published:2019-06-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law
language:
Short-container-title:

Author:

Libal Tomer¹,Pascucci Matteo²

Affiliation:

1. The American University of Paris, Paris, France

2. TU Wien, Vienna, Austria

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3322640.3326707

Reference37 articles.

1. Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents

2. L.E. Allen. 1982. Towards a normalized language to clarify the structure of legal discourse. In Deontic Logic Computational Linguistics and Legal Information Systems A.A. Martino (Ed.) North Holland Amsterdam 349--407. L.E. Allen. 1982. Towards a normalized language to clarify the structure of legal discourse. In Deontic Logic Computational Linguistics and Legal Information Systems A.A. Martino (Ed.) North Holland Amsterdam 349--407.

3. Prima facie obligation

4. Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Legal Contracts to Formal Specifications: A Systematic Literature Review;SN Computer Science;2022-06-21

2. Contratto – A Method for Transforming Legal Contracts into Formal Specifications;Research Challenges in Information Science;2022

3. Towards Transparent Legal Formalization;Explainable and Transparent AI and Multi-Agent Systems;2021

4. Towards Automated GDPR Compliance Checking;Trustworthy AI - Integrating Learning, Optimization and Reasoning;2021

5. The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics;Lecture Notes in Computer Science;2021