PHD Theses

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…

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…

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…