BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Hungary
1 × Ireland
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:
E.Lamma M.Alberti P.Mello M.Milano F.Riguzzi M.Cattafi M.Nonato M.Montali P.Torroni F.Chesani P.Cagnoli R.Herrero F.Malucelli S.Alvisi M.Franchini E.Bellodi R.Zese G.Cota D.Daolio
Talks about:
abduct (4) logic (4) constraint (3) verif (3) framework (2) program (2) specif (2) integr (2) optim (2) base (2)

Person: Marco Gavanelli

DBLP DBLP: Gavanelli:Marco

Contributed to:

ICLP TC 20152015
ICLP 20122012
ICLP 20112011
ICLP 20102010
ICLP 20102010
ICLP 20092009
ICLP 20082008
PPDP 20062006
SAC 20042004
ICLP 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.