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.