{"id":12,"date":"2011-09-21T07:53:48","date_gmt":"2011-09-21T07:53:48","guid":{"rendered":"http:\/\/www.ing.unibs.it\/~gerevini\/blog\/?page_id=12"},"modified":"2024-11-18T17:37:29","modified_gmt":"2024-11-18T17:37:29","slug":"software","status":"publish","type":"page","link":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/?page_id=12","title":{"rendered":"Software"},"content":{"rendered":"\n<p>Materiale da aggiornare&#8230;<\/p>\n\n\n\n<p><a href=\"http:\/\/prometeo.ing.unibs.it\/ia\/introtter.htm\">OTTER <\/a>(Organized Techniques for Theorem proving and Effective Research)<\/p>\n\n\n\n<p><a href=\"http:\/\/prometeo.ing.unibs.it\/ia\/backtracking\/software.htm\">Backtraching<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/prometeo.ing.unibs.it\/ia\/Logica_Fuzzy\/fuzzy2.htm\">Fuzzy Logic Toolbox (Matlab 5.2)<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/fai.cs.uni-saarland.de\/hoffmann\/ff.html\">FF &#8211; Fast Forward <\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/www-2.cs.cmu.edu\/afs\/cs\/project\/ai-repository\/ai\/areas\/reasonng\/temporal\/tg\/0.html\">Ragionamento temporale (Timegraph-II)<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/prometeo.ing.unibs.it\/ia\/bayes\/software.htm\">Reti Bayesiane<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/zeus.ing.unibs.it\/lpg\/\">LPG <\/a> (Un pianificatore)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Materiale da aggiornare&#8230; OTTER (Organized Techniques for Theorem proving and Effective Research) Backtraching Fuzzy Logic Toolbox (Matlab 5.2) FF &#8211; Fast Forward Ragionamento temporale (Timegraph-II) Reti Bayesiane LPG (Un pianificatore)<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/12","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=12"}],"version-history":[{"count":12,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":1188,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/12\/revisions\/1188"}],"wp:attachment":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}