Papers in proceedings

• Jesse Alama, Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools, Proceedings of the 8th International Workshop on the Implementation of Logics, (url), 2010.
• Martin Slota and João Alexandre Leite, Marrying stable models with belief update, in: T. Meyer and E. Ternovska (eds), Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 14-16, 2010.
• Pedro Salgueiro and Salvador Abreu, Network Intrusion Detection with Constraints, Actas da 10a. Conferência sobre Redes de Computadores, FCCN, 2010.
• Martin Slota and João Alexandre Leite, On Semantic Update Operators for Answer-Set Programs, in: Hélder Coelho, Rudi Studer and Michael Wooldridge (eds), ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 215, ISBN 978-1-60750-605-8, Pag. 957-962, 2010.
• Luís Baptista and Francisco Azevedo, On the Power of Restarts for CSP, in: Peter Nightingale and Standa Živný (eds), Proceedings of CP2010's Doctoral Programme, Pag. 7-12, 2010.
• Pedro Salgueiro and Salvador Abreu, On using Constraints for Network Intrusion Detection, Proceedings of InForum 2010, Universidade do Minho, 2010.
• Daniel Diaz, Salvador Abreu and Philippe Codognet, Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture, Intelligent Distributed Computing IV, Studies in Computational Intelligence, Springer, 2010.
• R. Gonçalves and José Júlio Alferes, Parametrized Logic Programming, in: Tomi Janhunen and Ilkka Niemelä (eds), Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010., Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 6341, Pag. 182-194, 2010.
• João Alexandre Leite, Playing with Rules, in: Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk and John Lloyd (eds), Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 5948, ISBN 978-3-642-11354-3, Pag. 1-19, 2010.
• V. Dahl, M. Dolores Jiménez-Lopez and Olivier Perriquet, Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry, Proceedings of PAAMS 2010, 2010.