Journal articles

• Luís Moniz Pereira, Moral Computacional, Jornal de Ciências Cognitivas, Sociedade Portuguesa de Ciências Cognitivas, http://jcienciascognitivas.home.sapo.pt/, ISSN ISSN 1646-365X, (url), December 2009.
• Salvador Abreu, Daniel Diaz and Philippe Codognet, Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results), Electronic Proceedings in Theoretical Computer Science, Vol. 5, Pag. 97-111, ISSN 2075-2180, (url), November 2009.
• R. Gonçalves and C. Caleiro, Behavioral algebraization of da Costa's C-systems, Journal of Applied Non-Classical Logics, Vol. 19, No. 2, Pag. 127-148, October 2009.
• Luís Moniz Pereira and Han The Anh, Evolution Prospection in Decision Making, Intelligent Decision Technologies (IDT), Vol. 3, No. 3, Pag. 157-171, IOS Press, http://www.iospress.nl/loadtop/load.php?isbn=18724981, ISBN 1872-4981, (url), October 2009.
• Luís Moniz Pereira and Ari Saptawijaya, Modelling Morality with Prospective Logic, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 3/4, Pag. 209-221, Inderscience, http://www.inderscience.com/browse/index.php?journalCODE=ijris, ISBN 1755-0556, (url), October 2009.
• Luís Moniz Pereira and Gonçalo Lopes, Prospective Logic Agents, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 3/4, Pag. 200-208, Inderscience, http://www.inderscience.com/browse/index.php?journalCODE=ijris, ISBN 1755-0556, (url), October 2009.
• Luís Moniz Pereira, J. Maia Neves, J. M. Machado and Manuel Filipe Santos, Special issue: Progress in artificial intelligence, select extended papers from 13th Portuguese Intl. Conf. on Artificial Intelligence - Part I, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 3/4, Pag. 221, Inderscience, http://www.inderscience.com/, ISBN 1755-0556, The authors are the editors, (url), October 2009.
• Luís Moniz Pereira, Evolving Towards an Evolutionary Epistemology, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 1/2, Pag. 68-76, Inderscience Publishers, http://www.inderscience.com/browse/index.php?action=articles&journalID=267, (url), July 2009.
• Luís Moniz Pereira and Ari Saptawijaya, Computational Modelling of Morality, The Association for Logic Programming Newsletter, Vol. 22, No. 1, Association for Logic Programming, http://www.logicprogramming.org/, (url), March 2009.
• Gregory Wheeler, Focused Correlation and Confirmation, The British Journal for the Philosophy of Science, Vol. 60, No. 1, Pag. 79-100, Oxford University Press, March 2009.
• C. Caleiro, R. Gonçalves and M. Martins, Behavioral Algebraization of Logics, Studia Logica, Vol. 91, No. 1, Pag. 63-111, Studia Logica Journal, ISSN 0039-3215, February 2009.
• Umberto Straccia, Manuel Ojeda-Aciego and Carlos Viegas Damásio, On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs, SIAM Journal on Computing (SICOMP), Vol. 38, No. 5, Pag. 1881-1911, Society for Industrial and Applied Mathematics, ISBN 0097-5397, (url), January 2009.
• Jesse Alama, A formal proof of Euler's polyhedron formula, Studies in Logic, Grammar and Rhetoric, Vol. 18, No. 31, Pag. 9-23, University of Białystok, ISBN 978-83-7431-229-5, ISSN 0860-150X, (url), 2009.
• G. Zibordi, J.-F. Berthon and Davide D’Alimonte, An Evaluation of Radiometric Products from Fixed-Depth and Continuous In-Water Profile Data from Moderately Complex Waters, J. Atmos. Oceanic Technol., Vol. 26, Pag. 91-106, 2009.
• Davide D’Alimonte, Detection of Mesoscale Eddy-related Structures Through Iso-SST Patterns, IEEE Geosc. Rem. Sens. Lett., Vol. 6, No. 2, Pag. 189-193, 2009.
• Manoela Ilic, João Alexandre Leite and Martin Slota, ERASP - A System for Enhancing Recommendations using Answer-Set Programming, International Journal of Reasoning-based Intelligent Systems, Vol. 1, No. 3/4, Pag. 147–163, 2009.
• Fabio Cozman, Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler and Jon Williamson, Introduction to the Special Issue on Combining Probability and Logic, Journal of Applied Logic, Vol. 7, No. 2, Pag. 131-135, Elsevier, 2009.
• Ruben Duarte Viegas and Francisco Azevedo, Lazy constraint imposing for improving the path constraint, Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4, Pag. 113-128, Elsevier, 2009.
• Gregory Wheeler, Review of Vincent Hendricks and John Symons's 'Formal Philosophy, Philosophy of Science, University of Chicago, 2009.
• Reinhard Kahle, Understanding functional self-application, Bulletin of Symbolic Logic, Vol. 15, No. 1, Pag. 118-119, Abstract for the Logic Colloquium 2008., 2009.
• G. Zibordi, J.-F. Berthon, F. Melin, Davide D’Alimonte and S. Kaitala, Validation of Satellite Ocean Color Primary Products at Optically Complex Coastal Sites: Northern Adriatic Sea, Northern Baltic Proper and Gulf of Finland, Remote Sens. Environ., Vol. 113, No. 12, Pag. 2574-2591, 2009.