From August 31th to September 2nd, the University of Chieti-Pescara hosted the CILC 2011 conference. It was the 26th edition of the annual meeting organized by the Italian Association for Logic Programming (GULP, Gruppo Ricercatori e Utenti di Logic Programming),…
Yearly Archives: 2011
CILC 2011 Proceedings on CEUR
The CILC 2011 Proceedings are now published as CEUR-WS Vol. 810 (free access)
Premi Tesi 2012
GULP 2010-2011 Distinguished Dissertation Awards obtained by Annamaria Bria, Dario Della Monica, and Jacopo Mauro.
Distinguished Dissertations 2010-2011
Premio GULP 2010-2011 per la migliore Tesi di Dottorato su argomenti
Int’l Spring School 2011
Third International Spring School on Computational Logic ISCL 2011 (org: Paolo Torroni and Maurizio Gabbrielli)
XXVI. VIII CILC (2011), Pescara (Italy)
Pescara (Italy), 31 August – 2 September 2011. Web Page: XXVI. VIII CILC (2011) Program chair: Fabio Fioravanti CILC 2011 Proceedings: published as CEUR Vol. 810 (free access) Special Issue published as Vol 124, Number 4 / 2013 of Fundamenta…
ISCL 2011
GULP supports the Third International Spring School on Computational Logic (Bertinoro, Italy, April 10-15, 2011). Send your manifestation of interest by November 30, 2010. Scholarships available. ISCL 2011
Expressiveness, decidability, and undecidability of Interval Temporal Logic
Dario Della Monica Università di Udine 1 Aprile 2011 ABSTRACT Interval Temporal Logics are formalisms particularly suitable to express temporal properties. Unlike standard temporal logics, they use intervals, instead of points, as primitive ontological entities. The most studied propositional interval…
On the hybridization of constraint programming and local search techniques. Models and software tools
By Raffaele Cipriano Università di Udine 1 Aprile 2011 ABSTRACT This thesis aims to study the integration of the Constraint Programming and Local Search paradigms with three main goals in mind. First we want to combine together two free state-…
Fundamenta Informaticae Special Issue on CILC 2009
The Special Issue on the Italian Conference on Computational Logic CILC 2009, has been published as Vol 105, Number 1-2 / 2010 of Fundamenta Informaticae. (Guest editors: Gavanelli Marco, Riguzzi Fabrizio, and Pettorossi, Alberto) OFFICIAL LINK (verified SEPT 16 2015)