By Enrico Oliva, Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni 7 Aprile 2008 Abstract Reasoning under uncertainty is a human capacity that in software system is necessary and often hidden.…
PhD Theses
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…
Interactive Constraint Satisfaction Problems for Artificial Vision
by Marco Gavanelli Università degli Studi di Ferrara 2002 Abstract Artificial Vision is an important field of Artificial Intelligence: the human brain is able to derive various types of information about the outer world from vision. However, the semantic interpretation…
Theory-based resolution and automated set reasoning
By Andrea Formisano Università di Roma La Sapienza (consorzio Roma-L’Aquila) March 24, 2000. COMPLETE THESIS IN PDF Abstract Recently, several authors introduced various theory-based extensions of basic inference procedures (the resolution procedure and the connection method, among others). A common…
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
By Enrico Denti Dottorato di Ricerca in Ingegneria Elettronica e Informatica Alma Mater Studiorum Università di Bologna. Febbraio 1998 Abstract Component technology is radically altering the way software systems are designed: today, most systems are designed by combining and integrating…
Computable Set Theory and Logic Programming
By AGOSTINO DOVIER Università di Pisa (consorzio Pisa-Genova-Udine) Marzo 1996 Abstract Computable Set Theory investigates the satisfiability problem for fragments of set theory; the CLP scheme allows to automatically obtain logic programming languages dealing with constraints, namely first order…
Programmazione Logica Orientata agli Oggetti
By Andrea Omicini, Dottorato di Ricerca in Ingegneria Elettronica e Informatica Alma Mater Studiorum Università di Bologna. Febbraio1995 Abstract Lo scopo di questa tesi è definire un unico modello computazionale basato sulla logica del prim’ordine, che sia in grado di…