Journal articles

• Francisco Azevedo, Maxx: Test Pattern Optimisation with Local Search over an Extended Logic, Constraints, Vol. 12, No. 4, Pag. 507-538, Springer, (url), December 2007.
• P. Dell'Acqua and Luís Moniz Pereira, Preferential theory revision, Journal of Applied Logic, Vol. 5, No. 4, Pag. 586-601, Elsevier, December 2007.
• Salvador Abreu and Vitor Santos Costa, Workshop Report: Colloquium on Implementation of Constraint Logic Programming Systems, The Association for Logic Programming Newsletter, Vol. 20, n. 3/4, Online Proceedings, (url), December 2007.
• Reinhard Kahle, Freek {W}iedijk (Ed.), {T}he Seventeen Provers of the World, Studia Logica, Vol. 87, No. 2-3, Pag. 369-374, Book review, (url), November 2007.
• Vitor Nogueira and Salvador Abreu, Temporal Contextual Logic Programming, Electronic Notes in Theoretical Computer Science, Vol. 177, Pag. 219-233, Elsevier, (url), June 2007.
• Luís Moniz Pereira, Towards an Evolutionary Epistemology, CIM Bulletin, Vol. 22, CIM, Coimbra, Portugal, June 2007.
• Luís Moniz Pereira, Wiki or Bust, The Association for Logic Programming Newsletter, Vol. 20, n. 2, Online Proceedings, (url), June 2007.
• João Alexandre Leite, The Knowledge Evolution Group at CENTRIA, The Association for Logic Programming Newsletter, Vol. 20, No. 2, May 2007.
• Reinhard Kahle, Edwin D. Mares, Relevant Logic—A Philosophical Interpretation, Studia Logica, Vol. 85, Pag. 419-424, Book review, (url), April 2007.
• Francisco Azevedo, Cardinal: A Finite Sets Constraint Solver, Constraints, Vol. 12, No. 1, Pag. 93-129, Springer, (url), March 2007.
• 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.