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 ![ps_deon-2012.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![ps_deon-2012.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
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 ![ms_sid-2011.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![ms_sid-2011.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
2- , "FormaLex - A Software Tool for Legal Drafting" , Technical Report , FCEyN, Universidad de Buenos Aires - apr 2011 ![gms_flacos-2011-tr.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![gms_flacos-2011-tr.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
3- , "Permissions in Contracts, a Logical Insight" , The 24th International Conference on Legal Knowledge and Information Systems. University of Vienna, Austria - sep 2011 ![ps_jurix-2011.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![ps_jurix-2011.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
Publications in 2010
1- , "FL, A Legal Drafting Language Based on Models" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 ![gms_jurix-2010-teo.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![gms_jurix-2010-teo.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
2- , "Model Checking Legal Documents" , Technical Report , FCEyN, Universidad de Buenos Aires - sep 2010 ![gms_jurix-2010.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![gms_jurix-2010.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
3- , "Model checking legal documents" , The 23rd International Conference on Legal Knowledge and Information Systems. University of Liverpool, UK - 2010 ![gms_jurix-2010.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![gms_jurix-2010.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
4- , "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](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
![gms_sid-2010.pdf](http://publicaciones.dc.uba.ar/Publications/images/pdf.png)
- Se logue para poder enviar comentários
- 1363 leituras
-