Publicaçoes - Direito, lógica e sistemas automáticos - Fernando Schapachnik
Publications in 2012
1- , "Types of Rights in Interacting Two-Party System: A Formal Analysis" , Technical Report , FCEyN, Universidad de Buenos Aires - feb 2012 
Publications in 2011
1- , "Detección automática de defectos normativos, una invitación a la colaboración" , 40 JAIIO - Simposio Argentino de Informática y Derecho - 2011
2- , "FormaLex - A Software Tool for Legal Drafting" , Technical Report , FCEyN, Universidad de Buenos Aires - apr 2011
3- , "Permissions in Contracts, a Logical Insight" , The 24th International Conference on Legal Knowledge and Information Systems. University of Vienna, Austria - sep 2011
Publications in 2010
1- , "FL, A Legal Drafting Language Based on Models" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010
2- , "Model Checking Legal Documents" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010
3- , "Model checking legal documents" , The 23rd International Conference on Legal Knowledge and Information Systems. University of Liverpool, UK - 2010
4- , "Verificación automática de documentos normativos, ¿ficción o realidad?" , 39 JAIIO - Simposio Argentino de Informática y Derecho - 2010
- Se logue para poder enviar comentários
- 1121 leituras
-
