Marco Gavanelli

Ph.D.

Address

Research Activities

Publications

Memberships

My co-authors

Teaching

Non academic interests

Contacts

Publications

Edited volumes

• Special issue of Intelligenza Artificiale Anno II, Numero 3
• Special issue of Intelligenza Artificiale. In press.
• Special issue: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2007, Journal of Algorithms in Cognition, Informatics and Logic, Volume 63, Issues 1-3, Pages 1-150 (January-July 2008) (Elsevier). Preface.
• Special issue: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2008, Journal of Algorithms in Cognition, Informatics and Logic (Elsevier). In press.

List of publications:

• Ph.D. Thesis
• International Journals
• International Conferences & Book Chapters
• Italian Journals
• Italian Conferences & Book Chapters
• International Workshops with informal proceedings
• Italian Workshops with informal proceedings
• Other publications

See also the lists:

• Full list
• From DBLP
• From ResearchIndex (CiteSeer)
• Google Scholar

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.