Person: Marco Gavanelli

DBLP: Gavanelli:Marco

Contributed to:

2015

2012

2011

2010

2010

2009

2008

2006

2004

1999

Wrote 10 papers:

ICLP-2015-GavanelliLRBZC #abduction #datalog #framework #ontology

An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.

ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality

Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.

ICLP-J-2011-CattafiGNAF #network

Optimal placement of valves in a water distribution network with CLP(FD) (MC, MG, MN, SA, MF), pp. 731–747.

ICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.

ICLP-J-2010-GavanelliRMC #assessment

Logic-based decision support for strategic environmental assessment (MG, FR, MM, PC), pp. 643–658.

ICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning

Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification

Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.

PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service

An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.

SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification

Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.

ICLP-1999-GavanelliLMM

Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.