Lista de

Automated Legislative Drafting
10
"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
"Synthesising implicit contracts" (2013) Pace, G.J.; Schapachnik, F. 14th International Conference on Artificial Intelligence and Law, ICAIL 2013:217-221
"Synthesising implicit contracts" (2013) Pace, G.J.; Schapachnik, F. 14th International Conference on Artificial Intelligence and Law, ICAIL 2013:217-221
"Types of rights in two-party systems: A formal analysis" (2012) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 250:105-114
"Types of rights in two-party systems: A formal analysis" (2012) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 250:105-114
"Permissions in contracts, a logical insight" (2011) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 235:140-144
"Permissions in contracts, a logical insight" (2011) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 235:140-144
"Model checking legal documents" (2010) Gorín, D.; Mera, S.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 223:151-154
"Model checking legal documents" (2010) Gorín, D.; Mera, S.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 223:151-154