{"id":271,"date":"2010-03-04T08:34:10","date_gmt":"2010-03-04T08:34:10","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-edimburgo\/"},"modified":"2013-03-08T05:53:44","modified_gmt":"2013-03-08T05:53:44","slug":"trabajo-de-logica-computacional-en-edimburgo","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-edimburgo\/","title":{"rendered":"Trabajo de L\u00f3gica Computacional en Edimburgo"},"content":{"rendered":"<p>Se ha ofertado una plaza para realizar una tesis doctoral sobre l\u00f3gica computacional en la Universidad de Edimburgo.<\/p>\n<p>La tesis se inscribe dentro del proyecto <a href=\"http:\/\/www.ai4fm.cs.ncl.ac.uk\/about.html\">AI4FM (the use of AI to automate proof search in Formal Methods)<\/a>. El objetivo del proyecto es aplicar t\u00e9cnicas de IA, fundamentalmente aprendizaje autom\u00e1tico, para automatizar las demostraciones de las obligaciones de pruebas generadas por los sistemas de razonamiento.<\/p>\n<p>El tema de la tesis es <a href=\"http:\/\/wcms.inf.ed.ac.uk\/pgrguide\/prospectus\/projects-container\/the-productive-use-of-failure-in-formal-methods\">The Productive Use of Failure in Formal Methods<\/a> y ser\u00e1 dirigida por <a href=\"http:\/\/homepages.inf.ed.ac.uk\/bundy\/\">Alan Bundy<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha ofertado una plaza para realizar una tesis doctoral sobre l\u00f3gica computacional en la Universidad de Edimburgo. La tesis se inscribe dentro del proyecto AI4FM (the use of AI to automate proof search in Formal Methods). El objetivo del proyecto es aplicar t\u00e9cnicas de IA, fundamentalmente aprendizaje autom\u00e1tico, para automatizar las demostraciones de las&#8230;<\/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":[13],"tags":[274],"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\/271"}],"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=271"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/271\/revisions"}],"predecessor-version":[{"id":3055,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/271\/revisions\/3055"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=271"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=271"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=271"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}