Cerca
Items 1-10 di 47
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 ...
Parallel and evolutionary applications to cellular automata models for mitigation of lava flow invasions
(2013-11-25)
In the lava
ow mitigation context, the determination of areas exposed to
volcanic risk is crucial for diminishing consequences in terms of human causalities
and damages of material properties. In order to mitigate the ...