Publisher
Springer Science and Business Media LLC
Subject
Law,Artificial Intelligence
Reference26 articles.
1. Abdelsadiq A, Molina-Jimenez C, Shrivastava S (2011) A high-level model-checking tool for verifying service agreements. In: Proceedings of 2011 IEEE 6th international symposium on service oriented system (SOSE), pp 297–304
2. Angelov S, Grefen P (2001) B2b econtract handling—a survey of projects, papers and standards. University of Twente, The Netherlands, Tech. rep
3. Azzopardi S, Pace GJ, Schapachnik F, Schneider G (2016) Contract automata. Artif Intell Law 24(3):203–243. https://doi.org/10.1007/s10506-016-9185-2
4. Bartoletti M, Zunino R (2010) A calculus of contracting processes. In: Logic in computer science, symposium on (LICS), pp 332–341. https://doi.org/10.1109/LICS.2010.25
5. Belardinelli F, Lomuscio A, Murano A, Rubin S (2017) Verification of multi-agent systems with imperfect information and public actions. In: AAMAS
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献