Answer Set Programming (ASP) is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program such ...

Lo sviluppo delle moderne tecnologie informatiche, nonch´e la diffusione dei servizi per il Web, ha portato ad una considerevole produzione di informazioni e dati di diversa natura: documenti testuali (dati non strutturati), ...

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 ...

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 ...

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 ...

In the context of my PhD I studied mostly problems that nd their location in the bioinformatics and bioengineering elds. The arti cial photosynthesis has been object of my research and problems like the e cient ...