Publisher
Springer Science and Business Media LLC
Subject
Law,Artificial Intelligence
Reference55 articles.
1. Aho AV, Ullman JD (1995) Foundations of computer science. Computer Science Press
2. Allen L (1957) Symbolic logic: a razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:833–879
3. Azzopardi S, Pace G, Schapachnik F, Schneider G (2016) Contract automata: an operational view of contracts between interactive parties. Artif Intell Law 24:203–243
4. Baier C, Katoen J (2008) Principles of model checking. MIT Press
5. Basel Committee on Banking Supervision (2013) Principles for effective risk data aggregation and risk reporting, January. http://www.bis.org/publ/bcbs239.htm
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Words or code first? Is the legacy document or a code statement the better starting point for complexity-reducing legal automation?;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2024-02-26
2. Programming Contract Amending;Lecture Notes in Computer Science;2024
3. Deontics and Time in Contracts: An Executable Semantics for the L4 DSL;Frontiers in Artificial Intelligence and Applications;2023-12-07
4. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12
5. Ethical Design for Privacy-related Communication in Human-Robot Interaction;2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN);2023-08-28