ABSTRACT
No abstract available.
- Layman E Allen. 1956. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale LJ 66 (1956), 833.Google ScholarCross Ref
- Layman E Allen and C Rudy Engholm. 1977. Normalized legal drafting and the query method. J. Legal Educ. 29 (1977), 380.Google Scholar
- 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. Google ScholarDigital Library
- 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
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Tomer Libal and Matteo Pascucci. 2018. Automated Reasoning in Normative Detachment Structures with Ideal Conditions. CoRR abs/1810.09993 (2018). arXiv:1810.09993Google Scholar
- Pablo E Navarro and Jorge L Rodríguez. 2014. Deontic logic and legal systems. Cambridge University Press.Google Scholar
- 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
- 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. Google ScholarDigital Library
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 LawIn 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 03Defeasible 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
AbstractIn this paper, we shall give another proof of the faithfulness of Blass translation (for short, B-translation) of the propositional fragment of Leśniewski’s ontology in the modal logic by means of Hintikka formula. And we extend the result to ...
Comments