Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, and Leendert van der Torre. 2016. Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law. Artificial Intelligence and Law 24, 3 (2016), 245--283.

Digital Library

Google Scholar

[4]

Anne-Marie Burley and Walter Mattli. 1993. Europe before the court: a political theory of legal integration. International organization 47, 1 (1993), 41--76.

Google Scholar

[5]

Henry DeYoung et al. 2010. Experiences in the logical specification of the HIPAA and GLBA privacy laws. In Proc. of the 9th annual ACM workshop on Privacy in the electronic society. ACM, 73--82.

Digital Library

Google Scholar

[6]

Guido Governatori and Sidney Shek. 2013. Regorous: a business process compliance checker. In Proc. of the 14th Int. Conf. on Artificial Intelligence and Law. ACM, 245--246.

Digital Library

Google Scholar

[7]

Tomer Libal and Matteo Pascucci. 2018. Automated Reasoning in Normative Detachment Structures with Ideal Conditions. CoRR abs/1810.09993 (2018). arXiv:1810.09993

Google Scholar

[8]

Pablo E Navarro and Jorge L Rodríguez. 2014. Deontic logic and legal systems. Cambridge University Press.

Google Scholar

[9]

Monica Palmirani and Guido Governatori. 2018. Modelling Legal Knowledge for GDPR Compliance Checking. In Legal Knowledge and Information Systems: JURIX 2018: The Thirty-first Annual Conference, Vol. 313. IOS Press, 101.

Google Scholar

[10]

John Zeleznikow and Andrew Stranieri. 1995. The split-up system: integrating neural networks and rule-based reasoning in the legal domain. In Proc. of the 5th Int. Conf. on Artiicial Intelligence and Law. ACM, 185--194.

Digital Library

Google Scholar

Cited By

View all

Trofimov EMetsker OPaskoshev D(2021)Administrative prejudice in cases of petty theft (the Article 7.27 of the Code of the Russian Federation on Administrative Offenses and the Article 158.1 of the Criminal Code of the Russian Federation): how the big data of judicial acts reflect humanization and quality of justiceЮридические исследования10.25136/2409-7136.2021.9.36521(81-124)Online publication date: Sep-2021
https://doi.org/10.25136/2409-7136.2021.9.36521
Metsker OTrofimov EKopanitsa G(2021)Application of Machine Learning Metrics for Dynamic E-justice Processes2021 28th Conference of Open Innovations Association (FRUCT)10.23919/FRUCT50888.2021.9347598(293-300)Online publication date: 27-Jan-2021
https://doi.org/10.23919/FRUCT50888.2021.9347598
Libal TNovotná T(2021)Towards Transparent Legal FormalizationExplainable and Transparent AI and Multi-Agent Systems10.1007/978-3-030-82017-6_18(296-313)Online publication date: 17-Jul-2021
https://doi.org/10.1007/978-3-030-82017-6_18
Show More Cited By

Index Terms

NAI: The Normative Reasoner

Recommendations

Automated reasoning in normative detachment structures with ideal conditions
ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law

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 ...
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible logic with modal operators. This ...
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics
Abstract
In this paper, we shall give another proof of the faithfulness of Blass translation (for short, B-translation) of the propositional fragment $L_{1}$ of Leśniewski’s ontology in the modal logic $K$ by means of Hintikka formula. And we extend the result to ...

Comments

Information & Contributors

Information

Published In

ICAIL '19: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law

June 2019

312 pages

ISBN:9781450367547

DOI:10.1145/3322640

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

Univ. of Montreal: University of Montreal
AAAI
IAAIL: Intl Asso for Artifical Intel & Law

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2019

Check for updates

Author Tags

Qualifiers

Demonstration
Research
Refereed limited

Conference

ICAIL '19

Sponsor:

SIGAI

ICAIL '19: Seventeenth International Conference on Artificial Intelligence and Law

June 17 - 21, 2019

QC, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
80
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Trofimov EMetsker OPaskoshev D(2021)Administrative prejudice in cases of petty theft (the Article 7.27 of the Code of the Russian Federation on Administrative Offenses and the Article 158.1 of the Criminal Code of the Russian Federation): how the big data of judicial acts reflect humanization and quality of justiceЮридические исследования10.25136/2409-7136.2021.9.36521(81-124)Online publication date: Sep-2021
https://doi.org/10.25136/2409-7136.2021.9.36521
Metsker OTrofimov EKopanitsa G(2021)Application of Machine Learning Metrics for Dynamic E-justice Processes2021 28th Conference of Open Innovations Association (FRUCT)10.23919/FRUCT50888.2021.9347598(293-300)Online publication date: 27-Jan-2021
https://doi.org/10.23919/FRUCT50888.2021.9347598
Libal TNovotná T(2021)Towards Transparent Legal FormalizationExplainable and Transparent AI and Multi-Agent Systems10.1007/978-3-030-82017-6_18(296-313)Online publication date: 17-Jul-2021
https://doi.org/10.1007/978-3-030-82017-6_18
Libal T(2021)Towards Automated GDPR Compliance CheckingTrustworthy AI - Integrating Learning, Optimization and Reasoning10.1007/978-3-030-73959-1_1(3-19)Online publication date: 13-Apr-2021
https://doi.org/10.1007/978-3-030-73959-1_1
Libal T(2020)A Meta-level Annotation Language for Legal TextsLogic and Argumentation10.1007/978-3-030-44638-3_9(131-150)Online publication date: 28-Mar-2020
https://doi.org/10.1007/978-3-030-44638-3_9
Libal TSteen A(2020)Towards an Executable Methodology for the Formalization of Legal TextsLogic and Argumentation10.1007/978-3-030-44638-3_10(151-165)Online publication date: 28-Mar-2020
https://doi.org/10.1007/978-3-030-44638-3_10

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Automated reasoning in normative detachment structures with ideal conditions

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations