EnglishCancella i cookie per ripristinare le impostazioni di lingua associate al browser in uso
Titolo/Abstract/Parole chiave


Cattafi, Massimiliano (2012) LOGIC AND CONSTRAINT PROGRAMMING FOR COMPUTATIONAL SUSTAINABILITY. Tesi di Dottorato , Università degli studi di Ferrara.

File PDF

Download (2MB) | Anteprima


    Computational Sustainability is an interdisciplinary field that aims to develop computational and mathematical models and methods for decision making concerning the management and allocation of resources in order to help solve environmental problems. This thesis deals with a broad spectrum of such problems (energy efficiency, water management, limiting greenhouse gas emissions and fuel consumption) giving a contribution towards their solution by means of Logic Programming (LP) and Constraint Programming (CP), declarative paradigms from Artificial Intelligence of proven solidity. The problems described in this thesis were proposed by experts of the respective domains and tested on the real data instances they provided. The results are encouraging and show the aptness of the chosen methodologies and approaches. The overall aim of this work is twofold: both to address real world problems in order to achieve practical results and to get, from the application of LP and CP technologies to complex scenarios, feedback and directions useful for their improvement.

    Tipologia del documento:Tesi di Dottorato (Tesi di Dottorato)
    Data:2 Aprile 2012
    Relatore:Gavanelli, Marco - Lamma, Evelina
    Coordinatore ciclo:Trillo, Stefano
    Istituzione:Università degli studi di Ferrara
    Dottorato:XXIV Anno 2009 > SCIENZE DELL'INGEGNERIA
    Struttura:Dipartimento > Ingegneria
    Soggetti:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
    Parole chiave:logic programming, constraint programming, computational sustainability
    Depositato il:18 Feb 2013 15:24


    Accesso riservatoAccesso riservato