Journal articles

• João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska and T. C. Przymusinski, A language for multi-dimensional updates, Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002.
• P. Dell'Acqua, Ulf Nilsson and Luís Moniz Pereira, A Logic Based Asynchronous Multi-Agent System, Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002.
• Juergen Dix, João Alexandre Leite and K. Satoh, A Report on the 2002 Workshop on Computational Logic in Multi-agent Systems (CLIMA'02), The Association for Logic Programming Newsletter, Vol. 15, No. 3, 2002.
• Volker Peckhaus and Reinhard Kahle, Hilbert's paradox, Historia Mathematica, Vol. 29(2), Pag. 157-175, 2002.
• Carlos Viegas Damásio and Luís Moniz Pereira, Hybrid probabilistic Logic Programs as Residuated Logic Programs, Studia Logica, Vol. 72, No. 1, Pag. 113-138, Kluwer Academic Press, 2002.
• José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska and T. C. Przymusinski, LUPS - A language for updating logic programs, Artificial Intelligence, Vol. 138, No. 1-2, 2002.
• Reinhard Kahle, Mathematical proof theory in the light of ordinal analysis, Synthese, Vol. 133(1-2), Pag. 237-255, 2002.
• Ludwig Krippahl and Pedro Barahona, PSICO: Solving Protein Structures with Constraint Programming and Optimisation, Constraints, Vol. 7, No. 3/4, Pag. 317-331, Kluwer Academic Press, 2002.
• P. Froehlich, W. Nejdl, M. Schroeder, Carlos Viegas Damásio and Luís Moniz Pereira, Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks, International Journal of Applied Intelligence, Vol. 17, No. 2, Pag. 187-202, Kluwer Academic Press, 2002.