Articoli / Downloadable papers
Maddalena Nonato, Davide Bertozzi, Marco Gavanelli, Andrea Peano. A network model for routingfaultfree wavelength selection in WRONoCs design Electronic Notes in Discrete Mathematics, Volume 64, February 2018, Pages 285–294.PDF FREELY AVAILABLE UNTIL APRIL 13, 2018 Abstract: Emerging technologies in onchip communication domain bring about new combinatorial optimization problems at design automation. We address the Wavelength Selection Problem in WavelengthRouted Optical NetworksonChip (WRONoCs), where wavelengths act as signal carriers for initiatortotarget communication, so that signals are the least interfering and routing faults are prevented. We present this novel engineering problem and model it as a constrained shortest path on acyclic networks, propose a graphbased mathematical formulation and an iterative procedure on incremental graphs to solve the model on realistic data. 
Positioning of valves is a reallife issue in Water Distribution System (WDS) design and, currently, it is usually addressed by hydraulic engineers either by hand or by means of genetic algorithms, that give no assurance of optimality. Since a given valves placement identifies a sectorization of the WDS in several isolable portions, the valves positioning problem can be seen as a variant of the well known graph partitioning problem, which is a hard combinatorial problem. Cattafi et al. (2011, TPLP, 11, 731–747) showed recently that Computational Logic can provide technologies and techniques that can be exploited to model and achieve the optimal partition of the water network (i.e. the optimal positioning of valves). In particular, the authors tackled the optimization of the valves positioning through a two player game model, giving a Constraint Logic Programming formalization to solve it effectively. The aim of this article, instead, is to investigate the potential of Answer Set Programming in this practical application; evaluation is in terms both of language expressivity and solving efficiency. Results are discussed for different ASP models and a comparison with the CLP(FD) technique shown by Cattafi et al. (2011, TPLP, 11, 731–747) will be given. Keywords: Answer set programming, isolation system design, valves positioning, hydroinformatics. 
Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, and Marco Franchini. Genetic algorithms for scheduling devices operation in a water distribution system in response to contamination events. In J.K. Hao and M. Middendorf, editors, EvoCop 2012, volume 7245 of Lecture Notes in Computer Science, pages 124135, Berlin Heidelberg, 2012. SpringerVerlag. PDF ©SpringerVerlag, Berlin Heidelberg, 2012. This is the author's version of the work. It is posted here by permission of SpringerVerlag for your personal use. Not for redistribution. The definitive version was published in J.K. Hao and M. Middendorf (Eds.): EvoCOP 2012, LNCS 7245, pp. 124135, 2012 and is available at http://www.springerlink.com/content/q072186n51501m44/ This paper heuristically tackles a challenging scheduling problem arising in the field of hydraulic distribution systems in case of a contamination event, that is, optimizing the scheduling of a set of tasks so that the consumed volume of contaminated water is minimized. Each task consists of manually activating a given device, located on the hydraulic network of the water distribution system. In practice, once contamination has been detected, a given number of response teams move along the network to operate each device on site. The consumed volume of contaminated water depends on the time at which each device is operated, according to complex hydraulic laws, so that the value associated to each schedule must be evaluated by a hydraulic simulation. Keywords: Hybrid Genetic Algorithms, SimulationOptimization, Scheduling 
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A computational logic application framework for service discovery and contracting. International Journal of Web Services Research, 8(3):125, JulySeptember 2011. PDF This paper appears in International Journal of Web Services Research JulySeptember 2011, Vol. 8, No. 3 edited by LiangJie Zhang © 2011, IGI Global, www.igiglobal.com. Posted by permission of the publisher. In Semantic Web technologies, searching for a service means to identify components that can potentially satisfy the user needs in terms of inputs and outputs (discovery), and devise a fruitful interaction with the customer (contracting). In this paper, we present an application framework that encompasses both the discovery and the contracting steps, in a unified search process. In particular, we accommodate service discovery by ontologybased reasoning, and contracting by reasoning about behavioural interfaces, published in a formal language. To this purpose, we consider a formal approach grounded on Computational Logic. We define, illustrate and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully interoperate, by computing a possible interaction plan based on the behavioural interfaces of both. The same operational machinery used for contracting can be used for runtime verification.
Keywords: Web services, semantic discovery, contracting, rules, analysis, abductive logic programming, proof procedure, interoperability 
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, and Paolo Cagnoli. An application of fuzzy logic to strategic environmental assessment. In Roberto Pirrone and Filippo Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond  XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 1517, 2011. Proceedings, volume 6934 of Lecture Notes in Artificial Intelligence, pages 324335. Springer Verlag, 2011. PDF ©SpringerVerlag, Berlin Heidelberg, 2011. This is the author's version of the work. It is posted here by permission of SpringerVerlag for your personal use. Not for redistribution. The definitive version was published in AI*IA 2011: Artificial Intelligence Around Man and Beyond, Lecture Notes in Computer Science Volume 6934, 2011, pp 324335 and is available at http://link.springer.com/chapter/10.1007%2F9783642239540_30 Strategic Environmental Assessment (SEA) is used to evaluate the environmental effects of regional plans and programs. SEA expresses dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and environmental pressures, and between these and environmental receptors. In this paper we employ fuzzy logic and manyvalued logics together with numeric transformations for performing SEA. In particular, we discuss four models that capture alternative interpretations of the dependencies, combining quantitative and qualitative information. We have tested the four models and presented the results to the expert for validation. The interpretability of the results of the models was appreciated by the expert that liked in particular those models returning a possibility distribution in place of a crisp result.

Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, 25th International Conference on Logic Programming (ICLP 2009), volume 5649 of Lecture Notes in Computer Science, pages 387401, Berlin Heidelberg, 2009. SpringerVerlag. PDF ©SpringerVerlag, Berlin Heidelberg, 2009. This is the author's version of the work. It is posted here by permission of SpringerVerlag for your personal use. Not for redistribution. The definitive version was published in Patricia M. Hill and David S. Warren (Eds.): ICLP 2009, LNCS 5649, pp. 387401, 2009 and is available at SpringerVerlag Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP constraints. These two frameworks have been merged in works by various authors, which developed efficient abductive proofprocedures empowered with constraint satisfaction techniques. However, while almost all CLP languages provide algorithms for finding an optimal solution with respect to some objective function (and not just any solution), the issue has received little attention in ALP. 
Sustainable biomass power plant location in the Italian EmiliaRomagna region
Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
ACM Transactions on Intelligent Systems and Technology (TIST), 2011 
Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, and Gianfranco Valastro. Greedy and exact algorithms for invitation planning in cancer screening. In N.T. Nguyen and R. Katarzyniak, editors, ”New Challenges in Applied Intelligence Technologies”, number 134 in Studies in Computational Intelligence. SpringerVerlag, Heidelberg, Germany, 2008.
PDF ©SpringerVerlag, Berlin Heidelberg, 2008. This is the author's version of the work. It is posted here by permission of SpringerVerlag for your personal use. Not for redistribution. The definitive version was published in N.T. Nguyen and R. Katarzyniak, editors, "New Challenges in Applied Intelligence Technologies", number 134 in Studies in Computational Intelligence. SpringerVerlag, Heidelberg, Germany, 2008 and is available at www.springerlink.com
Cancer screening is a method of preventing cancer by early detecting and treating abnormalities. One of the most critical screening phase is invitation planning since screening resources are limited and there are many people to invite. For this reason, smart resource allocation approaches are needed.
Keywords: Constraint Programming, Scheduling, Greedy Algorithm 
Verifiable agent interaction in abductive logic programming: The SCIFF framework
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
ACM Transactions on Computational Logic (TOCL), 2008 
An abductive framework for apriori verification of web services
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
PPDP '06 Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2006 
Dealing with incomplete knowledge on CLP(FD) variable domains
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
ACM Transactions on Programming Languages and Systems (TOPLAS), 2005 
Specification and verification of agent interaction protocols in a logicbased system
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
SAC '04 Proceedings of the 2004 ACM symposium on Applied computing, 2004 
Marco Gavanelli and Michela Milano. On the need for a different backtracking rule when dealing with late evaluation. Electronic Notes in Theoretical Computer Science, 30(2):145156, 1999. .ps.gz
Constraint Satisfaction Problems (CSPs) represent a widely used framework for many reallife problems. Constraint Logic Programming (CLP) languages are an effective tool for modeling problems in terms of CSPs and solving them efficiently.
