Publications
Edited volumes
List of publications:
See also the lists:
Some on-line publications:
-
CORDIS Technology marketplace: Results from EU funded IST programme.
A priori verification of web services -
Verifica a-priori di servizi Web.
19 Feb 2008.
- R.
Cucchiara, M. Gavanelli, E. Lamma, P. Mello, M. Milano, M.
Piccardi Extending the
CSP Model to Cope With Partial Information (html)
- M. Gavanelli, E. Lamma, P. Mello, M. Milano Performance
Measurement of Interactive CSP Search Algorithms. Workshop
of the group "Knowledge
Representation and Automatic Reasoning'' (1999)
- M. Gavanelli, M. Milano On
the Need for a Different Backtracking Rule when Dealing with Late
Evaluation. Electronic
Notes in Theoretical Computer Science 30(2) (1999)
- M. Gavanelli Partially
Ordered Constraint Optimization Problems
CP 2001
Doctoral Programme (2001)
Poster Slides
-
M. Gavanelli Interactive
Constraint Satisfaction Problems for Artificial Vision
Ph.D. Thesis, University of Ferrara, Italy, (2002).
- M. Gavanelli An implementation of
Pareto Optimality in CLP(FD) in CP-AI-OR 2002.
Slides.
- M. Gavanelli An algorithm for Multi-Criteria Optimization in
CSPs in ECAI 2002.
Slides.
- M. Gavanelli, E. Lamma, P. Mello, M. Milano, and P. Torroni.
Interpreting abduction in CLP .
In Luigi Palopoli, editor, APPIA-GULP-PRODE Joint Conference on
Declarative Programming, Reggio Calabria, Italy, September 3 - 5 2003.
Università Mediterranea di Reggio Calabria.
- M. Gavanelli, E. Lamma, P. Mello, and P. Torroni.
An
Abductive Framework for Information Exchange in Multi-Agent systems .
In CLIMA IV.
Fort Lauderdale, FL, USA - January 6-7 2004.
Slides.