{"id":2344,"date":"2025-09-25T17:12:59","date_gmt":"2025-09-25T15:12:59","guid":{"rendered":"https:\/\/di.unipi.it\/?p=2344"},"modified":"2025-10-16T17:21:14","modified_gmt":"2025-10-16T15:21:14","slug":"another-podium-finish-for-unipi-at-the-international-logic-programming-contest","status":"publish","type":"post","link":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/","title":{"rendered":"Another podium finish for UniPI at the international Logic Programming contest"},"content":{"rendered":"<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"alignleft\" src=\"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg\" width=\"131\" height=\"197\" \/>Stefano Forti<\/strong>, a researcher in the Department, took the podium at the <a href=\"https:\/\/lpcp-contest.github.io\/\"><strong>Logic Programming \/ Constraint Programming Contest (LP\/CP 2025)<\/strong><\/a> with the team \u2018<em>Nduja Tapas w\/ glass of Chianti<\/em>\u2019. The team, which also included Antonio Ielo (University of Calabria) and Brais Mu\u00f1iz Castro (University of Coru\u00f1a, Spain), took second place out of nine participating teams.<\/p>\n<p>The competition took place on 17 September 2025 at the University of Calabria, as part of the ICLP 2025 international conference, the main event for the logic programming community.<br \/>\nLaunched in 1994, the LP\/CP Programming Contest tests participants&#8217; ability to tackle combinatorial problems using declarative programming and constraint programming paradigms, through languages such as Prolog, ASP and MiniZinc.<\/p>\n<p>Forti, who works on declarative approaches for the sustainable management of distributed systems, together with Antonio Ielo and Damiano Azzolini (University of Ferrara), had already won first place in the 2023 edition of the contest, held in London, demonstrating the continuity and value of Pisa&#8217;s research in the international landscape of logic programming and declarative AI.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Stefano Forti, a researcher in the Department, took the podium at the Logic Programming \/ Constraint Programming Contest (LP\/CP 2025)&hellip;<\/p>\n<p><a class=\"btn btn-dark btn-sm unipi-read-more-link\" href=\"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/\">Read More&#8230;<\/a><\/p>\n","protected":false},"author":588,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_acf_changed":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-2344","post","type-post","status-publish","format-standard","hentry","category-news"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica\" \/>\n<meta property=\"og:description\" content=\"Stefano Forti, a researcher in the Department, took the podium at the Logic Programming \/ Constraint Programming Contest (LP\/CP 2025)&hellip;Read More...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/\" \/>\n<meta property=\"og:site_name\" content=\"Dipartimento di Informatica\" \/>\n<meta property=\"article:published_time\" content=\"2025-09-25T15:12:59+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-10-16T15:21:14+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg\" \/>\n<meta name=\"author\" content=\"CHIARA BODEI\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"CHIARA BODEI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/\"},\"author\":{\"name\":\"CHIARA BODEI\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/#\\\/schema\\\/person\\\/0f8c19c1ba31e0c9000fb1ad1ddda854\"},\"headline\":\"Another podium finish for UniPI at the international Logic Programming contest\",\"datePublished\":\"2025-09-25T15:12:59+00:00\",\"dateModified\":\"2025-10-16T15:21:14+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/\"},\"wordCount\":179,\"image\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/di.unipi.it\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/thumbnail_IMG_5769.jpg\",\"articleSection\":[\"News\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/\",\"url\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/\",\"name\":\"Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/di.unipi.it\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/thumbnail_IMG_5769.jpg\",\"datePublished\":\"2025-09-25T15:12:59+00:00\",\"dateModified\":\"2025-10-16T15:21:14+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/#\\\/schema\\\/person\\\/0f8c19c1ba31e0c9000fb1ad1ddda854\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#primaryimage\",\"url\":\"https:\\\/\\\/di.unipi.it\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/thumbnail_IMG_5769.jpg\",\"contentUrl\":\"https:\\\/\\\/di.unipi.it\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/thumbnail_IMG_5769.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Another podium finish for UniPI at the international Logic Programming contest\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/\",\"name\":\"Dipartimento di Informatica\",\"description\":\"Dipartimento di Informatica - Universit\u00e0 di Pisa\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/di.unipi.it\\\/en\\\/#\\\/schema\\\/person\\\/0f8c19c1ba31e0c9000fb1ad1ddda854\",\"name\":\"CHIARA BODEI\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g\",\"caption\":\"CHIARA BODEI\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/","og_locale":"en_US","og_type":"article","og_title":"Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica","og_description":"Stefano Forti, a researcher in the Department, took the podium at the Logic Programming \/ Constraint Programming Contest (LP\/CP 2025)&hellip;Read More...","og_url":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/","og_site_name":"Dipartimento di Informatica","article_published_time":"2025-09-25T15:12:59+00:00","article_modified_time":"2025-10-16T15:21:14+00:00","og_image":[{"url":"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg","type":"","width":"","height":""}],"author":"CHIARA BODEI","twitter_card":"summary_large_image","twitter_misc":{"Written by":"CHIARA BODEI","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#article","isPartOf":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/"},"author":{"name":"CHIARA BODEI","@id":"https:\/\/di.unipi.it\/en\/#\/schema\/person\/0f8c19c1ba31e0c9000fb1ad1ddda854"},"headline":"Another podium finish for UniPI at the international Logic Programming contest","datePublished":"2025-09-25T15:12:59+00:00","dateModified":"2025-10-16T15:21:14+00:00","mainEntityOfPage":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/"},"wordCount":179,"image":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#primaryimage"},"thumbnailUrl":"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg","articleSection":["News"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/","url":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/","name":"Another podium finish for UniPI at the international Logic Programming contest - Dipartimento di Informatica","isPartOf":{"@id":"https:\/\/di.unipi.it\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#primaryimage"},"image":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#primaryimage"},"thumbnailUrl":"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg","datePublished":"2025-09-25T15:12:59+00:00","dateModified":"2025-10-16T15:21:14+00:00","author":{"@id":"https:\/\/di.unipi.it\/en\/#\/schema\/person\/0f8c19c1ba31e0c9000fb1ad1ddda854"},"breadcrumb":{"@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#primaryimage","url":"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg","contentUrl":"https:\/\/di.unipi.it\/wp-content\/uploads\/2025\/10\/thumbnail_IMG_5769.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/di.unipi.it\/en\/another-podium-finish-for-unipi-at-the-international-logic-programming-contest\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/di.unipi.it\/en\/"},{"@type":"ListItem","position":2,"name":"Another podium finish for UniPI at the international Logic Programming contest"}]},{"@type":"WebSite","@id":"https:\/\/di.unipi.it\/en\/#website","url":"https:\/\/di.unipi.it\/en\/","name":"Dipartimento di Informatica","description":"Dipartimento di Informatica - Universit\u00e0 di Pisa","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/di.unipi.it\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/di.unipi.it\/en\/#\/schema\/person\/0f8c19c1ba31e0c9000fb1ad1ddda854","name":"CHIARA BODEI","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/fac4f8490d34bf9cc6c06aed68f2db4e6ee276cde3a788f971c8a1e2e96e3b7c?s=96&d=mm&r=g","caption":"CHIARA BODEI"}}]}},"acf":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"publishpress_future_action":{"enabled":false,"date":"2026-04-18 10:37:45","action":"change-status","newStatus":"draft","terms":[],"taxonomy":"category","extraData":[]},"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/posts\/2344","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/users\/588"}],"replies":[{"embeddable":true,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/comments?post=2344"}],"version-history":[{"count":2,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/posts\/2344\/revisions"}],"predecessor-version":[{"id":2346,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/posts\/2344\/revisions\/2346"}],"wp:attachment":[{"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/media?parent=2344"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/categories?post=2344"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/di.unipi.it\/en\/wp-json\/wp\/v2\/tags?post=2344"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}