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

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.
complete listing | pages: [1] | 2

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