Yearly Archives: 2006

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…

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…