{"id":54,"date":"2010-01-02T18:16:13","date_gmt":"2010-01-02T17:16:13","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=54"},"modified":"2013-03-08T05:53:50","modified_gmt":"2013-03-08T05:53:50","slug":"trabajo-del-grupo-de-logica-computacional-1987-2009","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-del-grupo-de-logica-computacional-1987-2009\/","title":{"rendered":"Trabajo del Grupo de L\u00f3gica Computacional (1987-2009)"},"content":{"rendered":"<p>El inicio del <a href=\"https:\/\/www.glc.us.es>Grupo de L\u00f3gica Computacional de la Universidad de Sevilla<\/a> se puede situar en el 1987, fecha en la que se public\u00f3 el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/1987-trivalente.pdf\">primer trabajo<\/a> sobre la automatizaci\u00f3n del razonamiento. Los trabajos realizados desde entonces se encuentran en las p\u00e1ginas de <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\">publicaciones<\/a>, <a href=\"http:\/\/www.cs.us.es\/~jalonso\/trabajos_dirigidos\">tesis y trabajos de investigaci\u00f3n dirigidos<\/a> y <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\">cursos impartidos<\/a>. La ordenaci\u00f3n de estas p\u00e1ginas es simplemente cronol\u00f3gica. Una visi\u00f3n m\u00e1s ordenada del trabajo desarrollado durante estos a\u00f1os se encuentra en las transparencias de las conferencias que d\u00ed en la Universidad de La Coru\u00f1a: <a href=\"http:\/\/www.cs.us.es\/~jalonso\/publicaciones\/2009-La_Coruna.pdf\">Un viaje a trav\u00e9s del razonamiento autom\u00e1tico (Experiencias del GLC de la US)<\/a>. En ella se describen los sistemas de razonamiento que hemos utilizado y las teor\u00edas que hemos formalizado.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>El inicio del<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[6],"tags":[271],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/54"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=54"}],"version-history":[{"count":8,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/54\/revisions"}],"predecessor-version":[{"id":3096,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/54\/revisions\/3096"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=54"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=54"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=54"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}