Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Publication exporters...

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.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento