Tesi di Dottorato: Recent submissions
Items 1221-1240 di 1623
-
Olex Effective Rule Learning for Text Categorization
(2014-04-01)Le prime ricerche nell’ambito del Text Categorization, una sotto-area dell’ Information Retrieval il cui obiettivo `e la classificazione automatica di documenti rispetto a un insieme di categorie predefinite, risalgono ... -
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
(2014-04-01)La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta, ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In particolare, ... -
Answer Set Programming with Functions
(2014-04-01)L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un formalismo che si `e affermato, in questi ultimi anni, come potente strumento di programmazione dichiarativa per la rappresentazione della conoscenza ... -
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 ... -
Studio Teorico dei Dettagli Meccanicistici di Reazioni Organiche Catalizzate da Oro
(2014-03-31)The catalytic chemistry of gold has had a relatively belated development with respect to other late transition metals, and this has been attributed to the preconception that gold is expensive and unreactive. The interest ...