1   2   3   4  
A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea     details >>
Elsevier, INOC 2017 – 8th International Network Optimization Conference
Vol. -, No. 1, pp: ---, in stampa

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide    
Cambridge University Press, THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 17, No. 5-6, pp: 800-818, Anno: 2017

Multi-Criteria Optimal Planning for Energy Policies in CLP
Marco Gavanelli; Stefano Bragaglia; Michela Milano; Federico Chesani; Elisa Marengo; Paolo Cagnoli     details >>
CAMBRIDGE UNIVERSITY PRESS, Introduction to the 30th International Conference on Logic Programming Special Issue Supplementary Material
Vol. 14, No. 4-5, pp: 102-111, Anno: 2014

Constraint and optimization techniques for supporting policy making
Gavanelli M.; Riguzzi F.; Milano M.; Cagnoli P.     details >>
CEUR, CEUR WORKSHOP PROCEEDINGS
Vol. 1068, No. 1, pp: 195-209, Anno: 2013

Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events
M. Gavanelli; M. Nonato; A. Peano; S. Alvisi; M. Franchini     details >>
Springer, Evolutionary Computation in Combinatorial Optimization
Vol. 7245, No. 1, pp: 124-135, Anno: 2012

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
M. Cattafi;R. Herrero;M. Gavanelli;M. Nonato;F. Malucelli;J. Ramos     details >>
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Vol. 17, No. 1, pp: 415-424, Anno: 2012

An ASP Approach for the Valves Positioning Optimization in a Water Distribution System
Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini     details >>
Francesca A. Lisi, CILC 2012, Italian Convention on Computational Logic, Proceedings of the 9th Italian Convention on Computational Logic Rome, Italy, June 6-7, 2012
Vol. 857, No. 1, pp: 134-148, Anno: 2012

An ASP approach for the optimal placement of the isolation valves in a water distribution system
A. Peano; M. Gavanelli     details >>
Paolo Liberatore, Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, AIxIA-DC 2012
Vol. 926, No. 1, pp: 33-37, Anno: 2012

Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe    
Springer, New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Vol. 10091, No. 1, pp: 187-203, Anno: 2017

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo    
Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 10364, No. 1, pp: 7-21, Anno: 2017

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip
Peano, Andrea; Ramini, Luca; Gavanelli, Marco; Nonato, Maddalena; Bertozzi, Davide    
Institute of Electrical and Electronics Engineers Inc., 2016 IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Vol. 07-10-, No. 1, pp: 1-8, Anno: 2016

An Abductive Framework for Datalog± Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>
CEUR Workshop proceedings, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)
Vol. 1433, No. 1, pp: 1-13, Anno: 2015

Evaluating compliance: from LTL to abductive logic programming
Montali, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola     details >>
CEUR-WS.org, Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015.
Vol. 1459, No. 1, pp: 101-116, Anno: 2015

Abductive logic programming for Datalog+/- ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>
CEUR Workshop proceedings, CILC 2015 Italian Conference on Computational Logic. Proceedings of the 30th Italian Conference on Computational Logic
Vol. 1459, No. 1, pp: 128-143, Anno: 2015

The Isolation System Design in Hydraulic Networks
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea     details >>
Francesca Alessandra Lisi, Stefano Borgo, Artificial Intelligence and Design
pp: 21-26, Anno: 2015

Optimal Valve Placement in Water Distribution Networks with CLP(FD)
Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini     details >>
AAAI Press, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
pp: 2987-2991, Anno: 2013

Simulation of incentive mechanisms for renewable energy policies
Andrea Borghesi ; Michela Milano; Marco Gavanelli; Tony Woods     details >>
European Council for Modeling and Simulation, Proceedings of the 27th European Conference on Modeling and Simulation
pp: 32-38, Anno: 2013

A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems
A. Peano; M. Nonato; M. Gavanelli; S. Alvisi; M. Franchini     details >>
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, OpenAccess Series in Informatics (OASIcs)
Vol. 22, No. 1, pp: 103-112, Anno: 2012

Constraint and optimization techniques for supporting policy making
Gavanelli, Marco; Riguzzi, Fabrizio; Milano, Michela; Cagnoli, Paolo    
University of Illinois, International Symposium on Artificial Intelligence and Mathematics, ISAIM 2012
pp: 47-54, Anno: 2012

What-if analysis through simulation-optimization hybrids
M. Gavanelli;M. Milano;A. Holland;B. O'Sullivan    
Digitaldruck Pirrot GmbH, Proceedings 26th European Conference on Modelling and Simulation ECMS 2012
pp: 624-630, Anno: 2012

1   2   3   4