1   2   3   4   5   6   7  
A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea     details >>

Atto di Convegno (Proceedings)
Elsevier, INOC 2017 – 8th International Network Optimization Conference
Vol. -, No. 1, pp: ---, in stampa

Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe    

Atto di Convegno (Proceedings)
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

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX
Marco Gavanelli    

Contributo in rivista (Pubblicazione in Rivista)
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 81-92, Anno: 2017

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo    

Atto di Convegno (Proceedings)
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

Preface
Gavanelli, Marco; Reppy, John     details >>

Contributo in volume
Springer International Publishing, Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Vol. 9585, No. 1, pp: V-V, Anno: 2016

Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John     details >>

Curatela
Springer Verlag, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9585, No. 1, Anno: 2016

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip
Peano, Andrea; Ramini, Luca; Gavanelli, Marco; Nonato, Maddalena; Bertozzi, Davide    

Atto di Convegno (Proceedings)
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

Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization
Ruppert, Tobias; Dambruch, Jens; Krämer, Michel; Balke, Tina; Gavanelli, Marco; Bragaglia, Stefano; Chesani, Federico; Milano, Michela; Kohlhammer, Jörn     details >>

Contributo in volume
Springer, Policy Practice and Digital Science
pp: 321-353, Anno: 2015

An Abductive Framework for Datalog± Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>

Atto di Convegno (Proceedings)
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

Scheduling countermeasures to contamination events by genetic algorithms
Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini     details >>

Contributo in rivista (Pubblicazione in Rivista)
AI COMMUNICATIONS
Vol. 28, No. 1, pp: 259-282, Anno: 2015

AI*IA 2015 Advances in Artificial Intelligence
Marco, Gavanelli; Evelina, Lamma; Fabrizio, Riguzzi     details >>

Curatela
Springer International Publishing, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9336, No. 1, Anno: 2015

Evaluating compliance: from LTL to abductive logic programming
Montali, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola     details >>

Atto di Convegno (Proceedings)
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 >>

Atto di Convegno (Proceedings)
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 >>

Atto di Convegno (Proceedings)
Francesca Alessandra Lisi, Stefano Borgo, Artificial Intelligence and Design
pp: 21-26, Anno: 2015

An ASP approach for the valves positioning optimization in a water distribution system
MARCO GAVANELLI; MADDALENA NONATO; ANDREA PEANO     details >>

Contributo in rivista (Pubblicazione in Rivista)
JOURNAL OF LOGIC AND COMPUTATION
Vol. 25, No. 6, pp: 1351-1369, Anno: 2015

Preface
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio    

Contributo in volume
Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 9336, No. 1, pp: 6-6, Anno: 2015

An application of constraint solving for home health care
Massimiliano Cattafi; Rosa Herrero; Marco Gavanelli; Maddalena Nonato; Federico Malucelli    

Contributo in rivista (Pubblicazione in Rivista)
AI COMMUNICATIONS
Vol. 28, No. 2, pp: 215-237, Anno: 2015

Multi-Criteria Optimal Planning for Energy Policies in CLP
Marco Gavanelli; Stefano Bragaglia; Michela Milano; Federico Chesani; Elisa Marengo; Paolo Cagnoli     details >>

Atto di Convegno (Proceedings)
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

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence
Michela Milano; Barry O'Sullivan; Marco Gavanelli     details >>

Contributo in rivista (Pubblicazione in Rivista)
AI MAGAZINE
Vol. 35, No. 3, pp: 22-35, Anno: 2014

Optimal Valve Placement in Water Distribution Networks with CLP(FD)
Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini     details >>

Atto di Convegno (Proceedings)
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

1   2   3   4   5   6   7