Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Soggetto "Informatica"

Items 1-15 di 15

  • 3d web-based parallel applications for the numerical modeling of natural phenomena 

    Parise, Roberto; Leone, Nicola; D'Ambrosio, Donato; Spataro, William (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 ...

  • Advanced Techniques and Systems for Data and Process Management 

    Granata, Luigi; Greco, Gianluigi; Leone, Nicola (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 ...

  • Answer Set Programming with Functions 

    Cozza, Susanna; Leone, Nicola (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 ...

  • Capitulation and stabilization in various aspects of Iwasawa theory for Zp-extensions 

    Caldarola, Fabio; Bandini, Andrea; Leone, Nicola (2013-11-25)

  • Computational tasks in answer set programming: algorithms and implementation 

    Dodaro, Carmine; Leone, Nicola; Ricca, Francesco (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 ...

  • Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability 

    Veltri, Pierfrancesco; Leone, Nicola; Terracina, Giorgio (2012-11-11)
    Ontologies and rules play a central role in the development of the Semantic Web. Recent research in this context focuses especially on highly scalable formalisms for the Web of Data, which may highly benefit from exploiting ...

  • Dynamic magic sets 

    Alviano, Mario; Lceone, Nicola; Faber, Wolfgang (2014-04-08)
    Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ...

  • GAMON discovering M-of-N hypotheses for text classification by a lattice-based genetic algorithm 

    Pietramala, Adriana; Leone, Nicola; Rullo, Pasquale (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), ...

  • Integrated development environment for answer set programming 

    Reale, Kristian; Leone, Nicola; Ricca, Francesco (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 ...

  • Normal Form Nested Programs 

    Bria, Annamaria; Faber, Wolfgang; Leone, Nicola (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 ...

  • Olex Effective Rule Learning for Text Categorization 

    Policicchio, Veronica Lucia; Canino, Annamaria; Rullo, Pasquale (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 ...

  • Parallel evaluation of ASP programs:techniques and implementation 

    Sirianni, Marco; Ricca, Francesco; Leone, Nicola (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 ...

  • A techinique for automatic generation of rule-based text classifiers exploiting negative information 

    Cumbo,Chiara; Rullo,Pasquale; Canino,Annamaria (2014-03-31)

  • Tecniche per la valutazione distribuita di programmi logici 

    Barilaro, Rosamaria; Leone, Nicola; Terracina, Giorgio (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 ...

  • Tools and Techniques for Easing the Application of Answer Set Programming 

    Fuscà, Davide; Leone, Nicola; Calimeri, Francesco; Perri, Simona (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 ...