Dipartimento di Matematica e Informatica - Tesi di Dottorato: Recent submissions
Items 61-71 di 71
-
Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks
(2014-03-31)In many scientific and business scenarios, large amounts of data are generated and stored at increasing speed in local or distributed databases. Scientific experiments generating petabytes of data are daily performed in ... -
Normal Form Nested Programs
(2014-03-31)Nella Programmazione Logica Disgiuntiva (PLD) le regole sono costituite da una testa e da un corpo. La testa è una disgiunzione di atomi, mentre il corpo una congiunzione di letterali. La PLD, sotto la semantica degli ... -
Towards grounding SemanticWeb to Answer Set Programming
(2014-03-31) -
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state affrontate problematiche relative all’efficienza ... -
Eccient evaluation of disjunctive logic programs
(2014-03-31)Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle regole e specificando come l’assunzione di mondo chiuso ... -
Omega our multi ethnic genetic algorithm
(2014-03-13)Combinatorial optimization is a branch of optimization. Its domain is optimization problems where the set of feasible solutions is discrete or can be reduced to a discrete one, the goal being that of nding the best ... -
Mixed Capacitated General Routing Problem Investigations
(2014-03-11)