Pubblicazioni

Informal publications

Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based implementation of a system for generation and confirmation of hypotheses. In Armin Wolf, Thom W. Frühwirth, and Marc Meister, editors, W(C)LP, volume 2005-01 of Ulmer Informatik-Berichte, pages 111-122. Universität Ulm, Germany, 2005.

Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Expressing interaction in combinatorial auction through social integrity constraints. In Armin Wolf, Thom W. Frühwirth, and Marc Meister, editors, W(C)LP, volume 2005-01 of Ulmer Informatik-Berichte, pages 53-64. Universität Ulm, Germany, 2005.