Cerca
Items 11-20 di 46
Integrated development environment for answer set programming
(2012-11-30)
Answer Set Programming (ASP) is a truly-declarative programming paradigm
proposed in the area of non-monotonic reasoning and logic programming. The
successful application of ASP in a number of advanced projects, has ...
GAMON discovering M-of-N hypotheses for text classification by a lattice-based genetic algorithm
(2013-11-12)
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), ...
Parallel evaluation of ASP programs:techniques and implementation
(2011-11-30)
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 ...
Low-discrepancy sequences: theory and applications
(2014-11-28)
The main topic of this present thesis is the study of the asymptotic behaviour
of sequences modulo 1.
In particular, by using ergodic and dynamical methods, a new insight to
problems concerning the asymptotic behaviour ...
3d web-based parallel applications for the numerical modeling of natural phenomena
(2014-11-28)
In this thesis, I designed and implemented three new web applications tai-
lored for the Cellular Automata (CA) simulation models SCIDDICA-k1,
SCIARA-fv3 and ABBAMPAU, making use of the GoogleWeb Toolkit frame-
work and ...
Computational tasks in answer set programming: algorithms and implementation
(2014-12-01)
L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa
basato sulla semantica dei modelli stabili. L’idea alla base di ASP
è di codificare un problema computazionale in un programma logico i ...
Tecniche per la valutazione distribuita di programmi logici
(2014-11-30)
Recent developments in IT, and in particular the expansion of networking technologies,
have made quite common the availability of software architectures
where data sources are distributed across multiple (physically-di ...