Papers in proceedings

• Luís Moniz Pereira, P. Dell'Acqua and Gonçalo Lopes, On Preferring and Inspecting Abductive Models, Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09), LNCS, Springer, (url), January 2009.
• João Moura, Paulo Chainho and Carlos Viegas Damásio, Semantically Enabled Framework for User Centric Profile Description, Search and Match, Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Revised Selected Papers, Lecture Notes in Computer Science, Springer, Vienna, Austria, Vol. 4907, ISBN 978-3-540-93850-7, Pag. 326-335, (url), January 2009.
• José Júlio Alferes, Alfredo Gabaldon and João Alexandre Leite, A Logic Programming System for Evolving Programs with Temporal Operators, in: Luís Seabra Lopes, Nuno Lau, Pedro Mariano and Luís Mateus Rocha (eds), Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 101-112, 2009.
• Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter, A Novel Architecture for Situation Awareness Systems, 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'09), Lecture Notes in Computer Science, Springer-Verlag, Vol. 5607/2009, ISBN 978-3-642-02715-4, Pag. 77–92, 2009.
• Alfredo Gabaldon, Activity Recognition with Intended Actions, 21st International Joint Conference on Artificial Intelligence, AAAI Press, ISBN 978-1-57735-426-0, 2009.
• Luís Mingote and Francisco Azevedo, Colored Nonograms: An Integer Linear Programming Approach, in: Luís Seabra Lopes, Nuno Lau, Pedro Mariano and Luís Rocha (eds), Progress in Artificial Intelligence: Proceedings of the 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), LNAI, Springer, Vol. 5816, ISBN 978-3-642-04685-8, ISSN 0302-9743, Pag. 213-224, 2009.
• Olivier Perriquet and Pedro Barahona, Constraint-based strategy for pairwise RNA secondary structure prediction, in: L. Seabra Lopes and Nuno Lau (eds), Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Springer, Vol. 5816, ISBN 978-3-642-04685-8, Pag. 86-97, 2009.
• José Júlio Alferes, Michael Eckert and Wolfgang May, Evolution and Reactivity in the Semantic Web, in: François Bry and Jan Maluszynski (eds), Semantic Techniques for the Web, The REWERSE Perspective, Lecture Notes in Computer Science, Springer, Vol. 5500, ISBN 978-3-642-04580-6, Pag. 161-200, 2009.
• Marco Alberti, Massimiliano Cattafi, Marco Gavanelli and Evelina Lamma, Exploiting Semantic Technology in Computational Logic-based Service Contracting, in: Marco Gavanelli and Fabrizio Riguzzi (eds), CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, 2009.
• T. Kajiyama, Davide D’Alimonte, José C. Cunha and G. Zibordi, High-Performance Ocean Color Monte Carlo Simulation in the Geo-Info Project, Proc. PPAM 2009, LNCS, Springer, 2009.