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

Papers in proceedings

  • Francisco Azevedo and Pedro Barahona, Using Multi-valued Logics to Model Digital Circuits Problems, First International Workshop on Constraints in Formal Verification, colocated with CP'02, Cornell Un., Ithaca, NY, USA, 2002.
  • P. Gamallo, A. Agustini, Paulo Quaresma and Gabriel Pereira Lopes, Using semantic word classes in text information retrieval systems, in: R. Vieira (eds), SBIE'2002 - XII Simpósio Brasileiro de Informática na Educação, Workshop de Ontologias, UNISINOS, Brasil, Porto Alegre, Brasil, 2002.
complete listing | pages: 1 | 2 | 3 | [4]

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