Publicaçoes - Direito, lógica e sistemas automáticos - Fernando Schapachnik


PoreGov- Postado em 26 abril 2012

 

Publications in 2012
 
1- Gordon PaceFernando Schapachnik , "Types of Rights in Interacting Two-Party System: A Formal AnalysisTechnical Report , FCEyN, Universidad de Buenos Aires - feb 2012 ps_deon-2012.pdf
 
Publications in 2011
 
1- Manuel Giménez, Sergio MeraFernando Schapachnik , "Detección automática de defectos normativos, una invitación a la colaboración40 JAIIO - Simposio Argentino de Informática y Derecho - 2011 ms_sid-2011.pdf

 
2- Daniel GorínSergio MeraFernando Schapachnik , "FormaLex - A Software Tool for Legal DraftingTechnical Report , FCEyN, Universidad de Buenos Aires - apr 2011 gms_flacos-2011-tr.pdf

 
3- Gordon PaceFernando Schapachnik , "Permissions in Contracts, a Logical InsightThe 24th International Conference on Legal Knowledge and Information Systems. University of Vienna, Austria - sep 2011 ps_jurix-2011.pdf
 
Publications in 2010
 
1- Daniel GorínSergio MeraFernando Schapachnik , "FL, A Legal Drafting Language Based on ModelsTechnical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010-teo.pdf

 
2- Daniel GorínSergio MeraFernando Schapachnik , "Model Checking Legal DocumentsTechnical Report , FCEyN, Universidad de Buenos Aires - sep 2010 gms_jurix-2010.pdf

 
3- Daniel GorínSergio MeraFernando Schapachnik , "Model checking legal documentsThe 23rd International Conference on Legal Knowledge and Information Systems. University of Liverpool, UK - 2010 gms_jurix-2010.pdf

 
4- Daniel GorínSergio MeraFernando Schapachnik , "Verificación automática de documentos normativos, ¿ficción o realidad?39 JAIIO - Simposio Argentino de Informática y Derecho - 2010 gms_sid-2010.pdf