Cerca
Items 1-9 di 9
Logic Programming in non-conventional environments
(2018-05-03)
Logic Programming became a very useful paradigm in many different areas and
thus several languages (and solvers) have been created to support various kinds of
reasoning tasks. However, in the last decades, thanks also ...
Seamless acceleratin numerical regular grid methods on manycore systems
(2018-01-19)
Over the last two decades, a lot has changed regarding the way modern scientific applications
are designed, written and executed, especially in the field of data-analytics, scientific
computing and visualization. Dedicated ...
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 ...
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 ...
Tools and Techniques for Easing the Application of Answer Set Programming
(2018-01-19)
Answer Set Programming (ASP) is a well-established declarative problem solving
paradigm; it features high expressiveness and the ability to deal with incomplete
knowledge, so it became widely used in AI and it is now ...