Cerca
Items 1-10 di 49
Interpolation problems and applications
(2014-05-28)
Answer Set Programming with Functions
(2014-04-01)
L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un
formalismo che si `e affermato, in questi ultimi anni, come potente strumento di
programmazione dichiarativa per la rappresentazione della conoscenza ...
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)
Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche
avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state
affrontate problematiche relative all’efficienza ...
Eccient evaluation of disjunctive logic programs
(2014-03-31)
Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della
programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle
regole e specificando come l’assunzione di mondo chiuso ...
Convex tomography in dimension two and three
(2014-05-27)
In this thesis we investigate a problem which is part of Geometric Tomography.
Geometric Tomography is a branch of Mathematics which deals with the determination
of a convex body (or other geometric objects) in n from ...
On irregular surfaces of general type wih K2=2ҳ+1 and pg=2
(2009-11-25)
This thesis is devoted to one of the classic topics about algebraic surfaces:
the classi cation of irregular surface of general type and the analysis their
moduli space.
To a minimal surface of general type S we associates ...