Lista de

Deontic Logic
10
"On observing contracts: Deontic contracts meet smart contracts" (2018) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018. 313:21-30
"On observing contracts: Deontic contracts meet smart contracts" (2018) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018. 313:21-30
"Performance improvement on legal model checking" (2017) Faciano, C.;Di Iorio, A.H.;Giaccaglia, M.F. (...)Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans 16th International Conference on Artificial Intelligence and Law, ICAIL 2017:59-68
"Performance improvement on legal model checking" (2017) Faciano, C.;Di Iorio, A.H.;Giaccaglia, M.F. (...)Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans 16th International Conference on Artificial Intelligence and Law, ICAIL 2017:59-68
"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law:1-41
"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law:1-41
"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law. 24(3):203-243
"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law. 24(3):203-243
"Contract Automata with Reparations" (2014) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Hoekstra R. 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014. 271:49-54
"Contract Automata with Reparations" (2014) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Hoekstra R. 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014. 271:49-54