Journal articles

• Luís Moniz Pereira, Gödel e a Computabilidade, Boletim da Sociedade Portuguesa de Matemática, Vol. 9, No. 55, Pag. 77-90, Invited paper, special issue commemorative of Kurt Gödel's birth centenary, (url), October 2006.
• Reinhard Kahle, David Hilbert and the paradoxes, Bulletin of Symbolic Logic, Vol. 12, No. 2, June 2006.
• Paulo Quaresma, Irene Rodrigues, Carlos Prolo and Renata Vieira, Um sistema de pergunta-resposta para uma base de conhecimentos, Letras de Hoje - Revista da Pontifícia Universidade Católica do Rio Grande do Sul, Vol. 144, Pag. 43-64, PUCRS, Brasil, ISBN ISSN 0101-3335, June 2006.
• Cássia Trojahn, Márcia Moraes, Paulo Quaresma and Renata Vieira, A Negotiation Model for Composing Ontology Matching Approaches, Scientia, UNISINOS, Brazil, Vol. 16, Pag. 12-27, UNISINOS, Brasil, 2006.
• Reinhard Kahle, A proof-theoretic view of necessity, Synthese, Vol. 148, No. 3, 2006.
• R.H. Bordini, L. Braubach, M. Dastani, A. El F. Seghrouchni, J.J. Gomez-Sanz, João Alexandre Leite, G. O'Hare, A. Pokahr and A. Ricci, A Survey of Programming Languages and Platforms for Multi-Agent Systems, Informatica, Vol. 30, No. 1, Pag. 33-44, 2006.
• Ludwig Krippahl, Palma PN, Moura I. and Moura JG, Modelling the Electron-Transfer Complex Between Aldehyde Oxidoreductase and Flavodoxin, Eur. J. of Inor. Chem, Vol. 2006, No. 19, Pag. 3835-3840, 2006.
• S Monaco, M Gioia, J Rodriguez, GF Fasciglione, D Di Pierro, G Lupidi, Ludwig Krippahl, S Marini and M. Coletta, Modulation of the proteolytic activity of matrix metalloproteinase-2 (Gelatinase A) on fibrinogen, Biochem J, Vol. Epub ahead of print, 2006.
• Gregory Wheeler, On the Structure of Rational Acceptance, Synthese: KRA, Pag. 117-134, This is a reprint of 'On the structure of rational acceptance', Synthese 2005, 2006.
• Reinhard Kahle, Os teoremas de incompletude de Kurt Gödel, Boletim da Sociedade Portuguesa de Matemática, Vol. 55, 2006.