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.