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…

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:…

CILC 2014 conference report

CILCTO

The 29th edition of the Italian Convention of Computational Logic (CILC 2014), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Turin, from June the 16th to June the 18th 2014.…

Bando Premio GULP per Tesi di Dottorato

L’Associazione Italiana per la Programmazione Logica GULP (“Gruppo Ricercatori e Utenti di Logic Programming”) bandisce un premio per la migliore tesi di dottorato su argomenti di Logica Computazionale. L’ammontare del premio è di 1000 (mille) euro. Requisiti per la partecipazione…

XXIX. XI CILC (2014), Torino (Italy)

Torino (Italy),  16-18 June, 2014 Web Page: XXIX. XI CILC (2014) Program chairs: Laura Giordano, Valentina Gliozzi and Gian Luca Pozzato CILC 2014 Proceedings: published as CEUR Vol. 1195 (free access)

CILC 2014

Il ventinovesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Torino nei giorni 16 – 18 Giugno 2014. http://cilc2014.di.unipmn.it Luogo della conferenza: ex sala lauree di Giurisprudenza a Palazzo Nuovo, in…

JLC Special Issue on CILC 2012

Journal of Logic and Computation Volume 25 Issue 6 December 2015 online since December 12, 2013 doi:10.1093/logcom/ext069 Preface Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945–2011) Francesca A. Lisi (guest editor)…

CILC 2013 conference report

P1170279

The X Italian Convention of Computational Logic, CILC 2013, was hosted by the University of Catania from September 25th to September 27th 2013. The event was the 28th edition of the annual meeting organized by GULP (Gruppo ricercatori e Utenti…