ItalianoClear Cookie - decide language by browser settings
Title/Abstract/Keywords

LOGIC AND CONSTRAINT PROGRAMMING FOR COMPUTATIONAL SUSTAINABILITY

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

[img]
Preview
PDF File
thesis.pdf

Download (2MB) | Preview

    Abstract

    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.

    Item Type:Thesis (PhD Thesis)
    Date:2 April 2012
    Tutor:Gavanelli, Marco - Lamma, Evelina
    Coordinator:Trillo, Stefano
    Institution:Università degli studi di Ferrara
    PhD:XXIV Anno 2009 > SCIENZE DELL'INGEGNERIA
    Divisions:Dipartimento > Ingegneria
    Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
    Uncontrolled Keywords:logic programming, constraint programming, computational sustainability
    Deposited on:18 Feb 2013 15:24

    Staff:

    View ItemView Item