FCP-Nets: extending constrained CP-Nets with objective functions
M. Gavanelli; M.S. Pini     dettagli >>

Anno: 2008

Abduction for specifying and verifying web service choreographies
Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, Sergio     dettagli >>

Anno: 2006

University timetabling in ECLiPSe
Gavanelli, Marco     dettagli >>

Anno: 2006

Policy-based reasoning for smart web-service interaction
Alberti, Marco; Federico, Chesani; Gavanelli, Marco; Lamma, Evelina; Paola, Mello; Marco, Montali; Paolo, Torroni     dettagli >>

Anno: 2006