Journal articles

• Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damásio, MWeb: A principled framework for modular web rule bases and its semantics., ACM Transactions on Computational Logic, Vol. 12, No. 2, Pag. Article #17, 41 pages, ACM, New York, NY, USA, ISSN 1529-3785, (url), January 2011.
• R. Gonçalves and C. Caleiro, Towards a Behavioral Algebraic Theory of Logical Valuations, Fundamenta Informaticae, Vol. 106, No. 2-4, Pag. 191-209, January 2011.
• Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali and Paolo Torroni, A Computational Logic Application Framework for Service Discovery and Contracting, International Journal of Web Services Research, Vol. 8, No. 3, Pag. 1-25, 2011.
• Reinhard Kahle, A Herança de David Hilbert na Filosofia da Matemática, Boletim da Sociedade Portuguesa de Matemática, Vol. 65 (Suplemento), Resumo alargado do Seminário Nacional de História da Matemática 2011., 2011.
• Eduardo Fermé and Sven Ove Hansson, AGM 25 Years: Twenty-Five Years of Research in Belief Change, Journal of Philosophical Logic, Vol. 40, No. 2, Pag. 295-331, Springer, 2011.
• Co-evolution of pre-play signaling and cooperation, Journal of Theoretical Biology, Vol. 274, No. (1), Pag. 30-35, (url), 2011.
• G. Zibordi, J.-F. Berthon, F. Melin and D. D'Alimonte, Cross-site consistent in situ measurements for satellite ocean color applications: the BiOMaP radiometric dataset, Remote Sens. Environ., Vol. 115, No. 8, Pag. 2104-2115, ISSN 0034-4257, 2011.
• Gregory Wheeler, Editorial, Minds and Machines, Vol. 21, No. 1, Pag. 1-2, Springer, 2011.
• Eduardo Fermé and Sven Ove Hansson, Editorial Introduction—25 Years of AGM Theory, Journal of Philosophical Logic, Vol. 40, No. 2, Pag. 113-114, Springer, 2011.
• Jeromos Vukov, Francisco C. Santos and Jorge M. Pacheco, Escaping the tragedy of the commons via directed investments, Journal of Theoretical Biology, Vol. 287, No. 37-41, 2011.