Papers in proceedings

• Olivier Perriquet and Pedro Barahona, Improved heuristic for pairwise RNA secondary structure prediction, Proceedings of NETTAB 2009, 2009.
• Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico Chesani, Marco Montali, Paola Mello and Paolo Torroni, Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture, in: Paul Hofmann (eds), ICWS 2009: 2009 IEEE International Conference on Web Services, IEEE Computer Society Press, ISBN 978-0-7695-3709-2, Pag. 254-261, (url), 2009.
• Marco Gavanelli, Marco Alberti and Evelina Lamma, Integration of abductive reasoning and constraint optimization in {SCIFF, in: Patricia M. Hill and David S. Warren (eds), 25th International Conference on Logic Programming (ICLP 2009), Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, Vol. 5649, ISBN 978-3-642-02845-8, ISSN 0302-9743, Pag. 387-401, (url), 2009.
• Mehdi Dastani, Amal El Fallah-Seghrouchni, João Alexandre Leite and Paolo Torroni, Introductory Essay of LADS'009, in: Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Alexandre Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni and Rineke Verbrugge (eds), Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, CEUR Workshop Proceedings, CEUR-WS.org, Vol. 494, 2009.
• Ruben Duarte Viegas and Francisco Azevedo, Lazy Constraint Imposing for Improving the Path Constraint, in: Andrea Corradini (eds), Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), Università di Pisa, Pag. 113-124, 2009.
• Jan Willem Romeijn, Rolf Haenni, Gregory Wheeler and Jon Williamson, Logical Relations in a Statistical Problem, in: Benedikt Lowe, Eric Pacuit and Jan Willem Romeijn (eds), Foundations of the Formal Sciences VI: Reasoning about probabilities and probabilistic reasoning, Studies in Logic, College Publications, London, Pag. 49-79, 2009.
• João Alexandre Leite, José Júlio Alferes and Belopeta Mito, Resource allocation with answer-set programming, in: Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (eds), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, IFAAMAS, ISBN 978-0-9817381-6-1, Pag. 649-656, 2009.