Exploiting Semantic Technology in Computational Logic-based Service Contracting. - Marco Alberti 001; Massimiliano Cattafi; Marco Gavanelli; Evelina Lamma (SWAP, 2008)

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni (ICWS, 2009)

Incremental Declarative Process Mining. - Massimiliano Cattafi; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Smart Information and Knowledge Management, 2010)

A Computational Logic Application Framework for Service Discovery and Contracting. - Marco Alberti 001; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Paolo Torroni (Int. J. Web Serv. Res., 2011)

Sustainable biomass power plant location in the Italian Emilia-Romagna region. - Massimiliano Cattafi; Marco Gavanelli; Michela Milano; Paolo Cagnoli (ACM Trans. Intell. Syst. Technol., 2011)

Optimal placement of valves in a water distribution network with CLP(FD). - Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini (Theory Pract. Log. Program., 2011)

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. - Massimiliano Cattafi; Rosa Herrero; Marco Gavanelli; Maddalena Nonato; Federico Malucelli (ICLP (Technical Communications), 2012)

Logic and constraint programming for computational sustainability. - Massimiliano Cattafi (2012)

Optimal Valve Placement in Water Distribution Networks with CLP(FD). - Massimiliano Cattafi; Marco Gavanelli; Maddalena Nonato; Stefano Alvisi; Marco Franchini (IJCAI, 2013)

An application of constraint solving for home health care. - Massimiliano Cattafi; Rosa Herrero; Marco Gavanelli; Maddalena Nonato; Federico Malucelli (AI Commun., 2015)