Premio GULP 2005-2006 per la migliore Tesi di Dottorato su argomenti di Logica Computazionale “Marco Cadoli”
Yearly Archives: 2006
Atti del CILC 2006
Editors: F. Esposito, D. Malerba e G. Semeraro Atti del convegno (PDF)
XXI. III CILC (2006), Bari (Italy)
XXI. III CILC (2006), Bari (Italy) Pc chairs:F. Esposito, D. Malerba e G. Semeraro (U. degli Studi di Bari) Atti della conferenza: http://www.programmazionelogica.it/2006/06/atti-del-cilc-2006/ Bari, 26-27 Giugno 2006 Lavori presentati: (Tutorial) Learning Rules on top of Ontologies: An Inductive Logic Programming…
Constraint Programming Approaches to the Protein Structure Prediction Problem
By Alessandro Dal Palù Università di Udine 31 Marzo 2006 ABSTRACT In this Thesis, we apply Constraint Programming to tackle the Protein Structure Pre- diction problem. We show that this programming technique, emerged from Declara- tive Programming and Artificial Intelligence,…
Logics for Distributed Resources
By Damiano Macedonio Università Ca’ Foscari di Venezia January 2006 ABSTRACT This Thesis studies logical characterisations of distributed systems for the purpose of de- scribing resources in heterogeneous environments. The focus is more on the structure and the distribution of…