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)…
Yearly Archives: 2013
CILC 2013 Proceedings on CEUR
The CILC 2013 Proceedings are now published as CEUR-WS Vol. 1068 (free access)
CILC 2013 conference report
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…
Premiazione vincitori premio GULP tesi di dottorato 2010-2011
Durante il convegno CILC 2013 che si è svolto a Catania dal 25 – 27 settembre 2013 sono stati premiati i tre vincitori ex-aequo del Premio GULP per la migliore Tesi di Dottorato su argomenti di Logica Computazionale (edizione 2010-2011): Annamaria…
XXVIII. X CILC (2013), Catania (Italy)
This gallery contains 39 photos →
ICLP 2013
29th International Conference on Logic Programming to be held in Istanbul, Turkey, on August 24-29, 2013.Abstract registration deadline April 3, 2013
Fundamenta Informaticae Special Issue on CILC 2011
The Special Issue on the Italian Conference on Computational Logic CILC 2011, has been published as Vol 124, Number 4 / 2013 of Fundamenta Informaticae. Guest Editors Fioravanti Fabio, Pettorossi Alberto, and Rossi Gianfranco OFFICIAL LINK (Verified SEPT 16, 2015)
Theory and Practice of Logic Programming Special Issue on CILC 2010
The Special Issue on the Italian Conference on Computational Logic CILC 2010, has been published as Vol 13, Special Issue 02 / 2013 of Theory and Practice of Logic Programming. Guest Editors Nicola Leone and Wolfgang Faber. OFFICIAL LINK (verified…
Integration of Logic and Probability in Terminological and Inductive Reasoning
Elena Bellodi Università di Ferrara 26 Marzo 2013 Abstract This thesis deals with Statistical Relational Learning (SRL), a research area combining principles and ideas from three important subfields of Artificial Intelligence: machine learning, knowledge representation and reasoning on uncertainty. Machine…