1   2  
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion"
Gavanelli, Marco; Mancini, Toni     dettagli >>
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 3-4, pp: 159-160, Anno: 2011

Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018

Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018

A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea     dettagli >>
ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Vol. 64, No. 1, pp: 285-294, Anno: 2018

Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     dettagli >>
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46:1-46:20, Anno: 2018

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX
Marco Gavanelli     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 81-92, Anno: 2017

An ASP approach for the valves positioning optimization in a water distribution system
MARCO GAVANELLI; MADDALENA NONATO; ANDREA PEANO     dettagli >>
JOURNAL OF LOGIC AND COMPUTATION
Vol. 25, No. 6, pp: 1351-1369, Anno: 2015

An application of constraint solving for home health care
Massimiliano Cattafi; Rosa Herrero; Marco Gavanelli; Maddalena Nonato; Federico Malucelli     dettagli >>
AI COMMUNICATIONS
Vol. 28, No. 2, pp: 215-237, Anno: 2015

Scheduling countermeasures to contamination events by genetic algorithms
Marco Gavanelli; Maddalena Nonato; Andrea Peano; Stefano Alvisi; Marco Franchini     dettagli >>
AI COMMUNICATIONS
Vol. 28, No. 1, pp: 259-282, Anno: 2015

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence
Michela Milano; Barry O'Sullivan; Marco Gavanelli     dettagli >>
AI MAGAZINE
Vol. 35, No. 3, pp: 22-35, Anno: 2014

Automated reasoning
Marco Gavanelli; Toni Mancini     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 7, No. 1, pp: 113-124, Anno: 2013

The CHR-based Implementation of the SCIFF Abductive System
Marco Alberti; Marco Gavanelli; Evelina Lamma     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 124, No. 4, pp: 365-381, Anno: 2013

Near-optimal scheduling of device activation in water distribution systems to reduce the impact of a contamination event
S. Alvisi; M. Franchini; M. Gavanelli; M. Nonato     dettagli >>
JOURNAL OF HYDROINFORMATICS
Vol. 14, No. 2, pp: 345-365, Anno: 2012

Sustainable biomass power plant location in the Italian Emilia-Romagna region
M. Cattafi; M. Gavanelli; M. Milano; P. Cagnoli     dettagli >>
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
Vol. 2, No. 4, pp: 33:1-33:19, Anno: 2011

Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
Cattafi M.; Gavanelli M.; Nonato M.; Alvisi S.; Franchini M.     dettagli >>
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 11, No. 4-5, pp: 731-747, Anno: 2011

Learning specifications of interaction protocols and business processes and proving their properties
M. Alberti; M. Gavanelli; E. Lamma; F. Riguzzi; S. Storari     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 5, No. 1, pp: 71-75, Anno: 2011

La valutazione ambientale delle alternative del piano energetico regionale dell'Emilia-Romagna 2011-2013
Paolo Cagnoli; Marco Gavanelli; Michela Milano     dettagli >>
VA. VALUTAZIONE AMBIENTALE
Vol. X, No. 19, pp: 26-31, Anno: 2011

A Computational Logic Application Framework for Service Discovery and Contracting
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni     dettagli >>
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
Vol. 8, No. 3, pp: 1-25, Anno: 2011

18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
Gavanelli, Marco; Mancini, Toni     dettagli >>
AI COMMUNICATIONS
Vol. 25, No. 2, pp: 73-74, Anno: 2012

RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Marco Gavanelli; Toni Mancini; Alberto Pettorossi     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 107, No. 2-3, pp: 1-2, Anno: 2011

1   2