Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Titolo
Items 58-63 di 63
-
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 ... -
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 ... -
Towards grounding SemanticWeb to Answer Set Programming
(2014-03-31) -
Uniform distribution of sequences of points and partitions
(2014-05-28)