Cerca
Items 41-50 di 63
Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
(2019-01-17)
This work is focused on Answer Set Programming (ASP), that is an expressive
formalism for Knowledge Representation and Reasoning. Over time,
ASP has been more and more devoted to solving real-world problems thanks
to ...
Topics in metric fixed point teory and stability of dynamical systems
(2018-01-19)
In this thesis we introduce iterative methods approximating fixed points for nonlinear
operators defined in infinite-dimensional spaces. The starting points are the
Implicit and Explicit Midpoint Rules generating polygonal ...
Fixed Point Iterations for Nonlinear Mappings
(2015-12-15)
In questa tesi vengono a rontati, e talvolta risolti, alcuni problemi sulla convergenza di
algoritmi per punti ssi. A tali problemi, verr a a ancato inoltre l'ulteriore problema
di stabilire quando tali algoritmi ...
Cellular automata for modeling and simulating complex phenomena : lahars
(2015-12-15)
Lahars represent one of the most destructive natural disasters regarding the loss of human
lives and property damage in their path. Lahars are very complex surface flows of two
types: primary lahars originated directly ...
Generalizing identity-based string similarity metrics: theory and applications
(2018-01-19)
Le stringhe giocano un ruolo fondamentale in informatica: codificando i dati, la loro interpretazione
permette di derivare informazione. Dato un insieme di stringhe, alcune interessanti
domande emergono: “queste stringhe ...
Design and implementation of a modern ASP grounder
(2018-01-19)
Answer Set Programming (ASP) is a declarative programming paradigm proposed
in the area of non-monotonic reasoning and logic programming in the
late '80 and early '90. Thanks to its expressivity and capability of dealing ...