By MARCO GARIO University of Trento 04 Marzo 2016 Abstract Autonomous systems must be able to detect and promptly react to faults. Fault Detection and Identification components (FDI) are in charge of detecting the occurrence of faults. The FDI depends…
CFP: CILC 2016: 31-esimo Convegno Italiano di Logica Computazionale
Il trentunesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Milano-Bicocca dal 20 al 22 giugno 2016. Sin dalla sua prima edizione, tenutasi a Genova nel 1986, il convegno annuale del…
Probabilistic Reasoning and Learning for the Semantic Web
By Riccardo Zese Università di Ferrara 2015 Abstract The Semantic Web introduced a new vision of the World Wide Web where the information resources published on the Internet are readable and understandable by machines. However, incompleteness and/or uncertainty are…
Proceedings of GULP, GULP-PRODE, APPIA-GULP-PRODE
Thanks to the hard manual search-scan efforts of the GULP Executive Committee 2012-2015 and of some friends that we would like to thank (Giuliana Dettori, Juanjo Marino, Raffaele Olivieri, Eugenio Omodeo) we are proud to announce that all proceedings of…
Rinnovo organi GULP: risultati elezioni
Cari soci, vi comunico i risultati delle elezioni per il rinnovo degli organi GULP. La partecipazione è stata di 56 votanti, pari al 67.47% degli aventi diritto al voto. Risultano eletti: Presidente: Agostino Dovier Vice presidente: Stefania Costantini Segretario: Marco…
Candidature per il rinnovo delle cariche sociali
Cari soci, si sta avvicinando la fine del mandato del Consiglio Direttivo attualmente in carica, che e’ stato eletto a Dicembre 2012, e dobbiamo eleggere il nuovo Direttivo per il periodo 2015-2018. La votazione avverrà con voto elettronico. Prima di cominciare…
CILC 2015 Proceedings on CEUR
The CILC 2015 Proceedings are now published as http://ceur-ws.org/Vol-1459 (free access)
Fundamenta Informaticae Special Issue on CILC 2013
The Special Issue on the Italian Conference on Computational Logic CILC 2013, has been published as Volume 140, no. 3-4, 2015 of Fundamenta Informaticae. Guest editors Domenico Cantone, Marianna Nicolosi Asmundo, and Alberto Pettorossi OFFICIAL LINK (verified SEPT 16, 2015)
Report on GULP School and CILC Conference
By Davide Ancona, Marco Maratea, and Viviana Mascardi.
The amazing “Aula Benvenuto” full of GULP members
The complete report is accessible from the ALP website:
http://www.cs.nmsu.edu/ALP/2015/09/gulp-school-and-cilc-meeting-report/
Premio Tesi di Dottorato
Il 30 luglio, subito dopo la fine della scuola GULP e all’inizio dell’edizione dei 30 anni del convegno dell’associazione GULP (di cui riferiremo a breve in altro post) è avvenuta la cerimonia di premiazione dell’edizione 2014 (il bando scadeva nel 2014)…
GULP Book receives 12025 + download requests in 2010-2015
News from the publisher: A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, edited by A. Dovier ed E. Pontelli (LNCS 6125, Springer 2010) received 12025 + chapter download requests (2307 in 2010, 3916 in…
Portfolio Approaches in Constraint Programming
By Roberto Amadini, University of Bologna 4 Giugno 2015 Abstract Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming…
Scuola GULP su Programmazione Logica – 2015
Genova, 29-30 giugno 2015 Organizzata da Davide Ancona, Marco Maratea e Viviana Mascardi Sito web della scuola GULP 2015
CILC 2015
Il trentesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Genova nei giorni 1 – 3 Luglio 2015 http://cilc2015.dibris.unige.it/ Date Sottomissione abstract: 15 APRILE 2015 Sottomissione articoli e proposte di demo:…
