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 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
M.Gavanelli E.Lamma P.Mello M.Montali P.Torroni F.Chesani D.Daolio
Talks about:
abduct (3) verif (3) constraint (2) specif (2) integr (2) logic (2) framework (1) protocol (1) procedur (1) interact (1)

Person: Marco Alberti

DBLP DBLP: Alberti:Marco

Contributed to:

ICLP 20102010
ICLP 20092009
ICLP 20082008
PPDP 20062006
SAC 20042004

Wrote 5 papers:

ICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
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.
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.