<\/p>\n L’articolo analizza approfonditamente un linguaggio per l’Intelligenza Artificiale basato sulla logica presentato dalla Texas Tech University (USA) nella precedente edizione della conferenza. La ricerca di Alviano e Leone scopre sorprendenti propriet\u00e0 di questo linguaggio, che hanno importanti risvolti teorici e applicativi.<\/strong> Tra l’altro, nel loro articolo Alviano e Leone spiegano come il linguaggio possa essere realizzato con DLV, il sistema per l’Intelligenza Artificiale ideato da Leone e utilizzato in Universit\u00e0 e Centri di Ricerca in tutto il mondo, oggi distribuito da un innovativo spin-off dell’Universit\u00e0 della Calabria – DLVSYSTEM s.r.l..\u00a0I Best Paper Award sono premi molto prestigiosi e ambiti nel contesto scientifico. Un Best Paper Award infatti attesta il raggiungimento di una elevata maturit\u00e0 del gruppo di ricerca vincitore, al quale viene pubblicamente riconosciuta la significativit\u00e0 dei propri lavori di ricerca per l’avanzamento dello stato dell’arte della comunit\u00e0 scientifica. Poich\u00e9 ICLP \u00e8 la conferenza internazionale pi\u00f9 importante nell’ambito della Programmazione Logica, vasta branca dell’Intelligenza Artificiale, l’elogio ai due calabresi \u00e8 di portata planetaria.<\/p>\n <\/p>\n Ulteriore conferma della leadership scientifica internazionale raggiunta dal Dipartimento di Matematica e Informatica in questo settore \u00e8 data dall’alta percentuale di articoli del gruppo di ricerca diretto dal Leone che sono stati prescelti per la pubblicazione sul numero speciale della rivista scientifica TPLP (Theory and Practice of Logic Programming) che seleziona le migliori ricerche sottoposte alla conferenza. Infatti, dei venticinque articoli “top” selezionati, ben quattro sono firmati da ricercatori e professori del gruppo di Leone, tra cui spicca la collaborazione internazionale di Alviano con le universit\u00e0 di Huddersfield (UK) e Aalto (Finlandia).\u00a0<\/strong>Doveroso inoltre ricordare che il gruppo di ricerca di Intelligenza Artificiale guidato da Leone ha ricevuto negli anni passati diversi altri riconoscimenti nazionali e internazionali.<\/p>\n <\/p>\n A livello nazionale ricordiamo i premi per le migliori tesi in Italia di Mario Alviano (2008), Carmine Dodaro (2012) e Annamaria Bria (2013), e il Premio Somalvico per il miglior giovane ricercatore a Gianluigi Greco (2009). A livello internazionale invece ricordiamo il prestigioso Mendelzon Test-Of-Time Award a Nicola Leone (New York, USA, 2009), la miglior dissertazione dottorale europea di Mario Alviano (2012),<\/strong> il Kurt Goedel Research Prize come miglior giovane ricercatore a Gianluigi Greco (Vienna, Austria, 2014) e la ECCAI Fellowship al prof. Leone (Toulouse, Francia, 2012).\u00a0La cerimonia di conferimento ufficiale del premio si \u00e8 svolta il I\u00b0 Settembre a Cork in Irlanda all’inizio della conferenza ICLP, che ha assegnato proprio ad Alviano e Leone anche l’onore di relazionare all’apertura, in una sessione plenaria congiunta tra le conferenze ICLP e CP nell’ambito della celebrazione del bicentenario della nascita del grande scienziato George Boole, fondatore della logica matematica.<\/p>\n","protected":false},"excerpt":{"rendered":" \u00c8 calabrese la miglior ricerca internazionale sulla Programmazione Logica.<\/p>\n","protected":false},"author":22,"featured_media":47009,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[548,7],"tags":[],"class_list":["post-47008","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-archivio-storico-news","category-universita"],"acf":[],"jetpack_publicize_connections":[],"_links":{"self":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts\/47008","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/comments?post=47008"}],"version-history":[{"count":0,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/posts\/47008\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/media\/47009"}],"wp:attachment":[{"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/media?parent=47008"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/categories?post=47008"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/quicosenza.it\/news\/wp-json\/wp\/v2\/tags?post=47008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nRENDE (CS) –\u00a0Prestigioso riconoscimento al Dipartimento di Matematica e Informatica dell’Universit\u00e0 della Calabria.\u00a0La International Conference of Logic Programming (ICLP), la pi\u00f9 importante conferenza al mondo nel campo della Programmazione Logica che si svolge in questi giorni a Cork in Irlanda, ha premiato Mario Alviano e Nicola Leone del Dipartimento di Matematica e Informatica con il Best Paper Award (letteralmente, “Premio al Miglior Articolo”) per la ricerca scientifica intitolata Complexity and Compilation of GZ-Aggregates in Answer Set Programming. Una commissione internazionale, formata dai maggiori esperti del settore, ha infatti stabilito che l’articolo di Alviano e Leone \u00e8 il miglior contributo dell’anno, fra piu` di 100 ricerche scientifiche provenienti da universit\u00e0 di tutto il mondo.\u00a0<\/strong><\/p>\n