Journal articles

• Reinhard Kahle, Die Gödelschen Unvollständigkeitssätze, Mathematische Semesterberichte, Vol. 54, No. 1, Pag. 1-12, March 2007.
• José Júlio Alferes and João Alexandre Leite, Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004, J. Applied Logic, Vol. 5, No. 3, Pag. 389-391, January 2007.
• Henry E. Kyburg Jr, Choh Man Teng and Gregory Wheeler, Conditionals and Consequences, Journal of Applied Logic, Vol. 5, No. 4, Pag. 638-650, Elsevier, Netherlands, 2007.
• Luís Moniz Pereira, La incidencia filosófica de la programación lógica, ÁGORA - Papeles de Filosofía, Vol. 26, No. 1, Pag. 153-185, Universidad de Santiago de Compostela, ÁGORA, Facultade de Filosofía, Campus universitario sur, U. de Santiago de Compostela, 15782 Santiago de Compostela, España, ISSN 0211-6642, English version in D. Gabbay et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol I, pp 425-448. Elsevier Science, 2002., (url), 2007.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, Termination of logic programs with imperfect information: applications and query procedure, Journal of Applied Logic, Vol. 5, No. 3, Pag. 435-458, Elsevier, Best papers of JELIA'2004., 2007.
• Isa Alves, Rove Chishman and Paulo Quaresma, Verbos do domínio jurídico: uma proposta de organização ontológica com vistas ao PLN, Veredas - Revista de Estudos Linguísticos da Universidade Federal de Juiz de Fora, Brasil, Vol. 9, No. 1/2, Pag. 123-137, UFJF, Brasil, ISBN ISSN: 1415-2533, 2007.