Papers in proceedings

• Francisco Azevedo and Pedro Barahona, Applications of an Extended Set Constraint Solver, Procs. of ERCIM/COMPULOG Workshop on Constraints, Univ. Padova, 2000.
• M. Zerbst, L. Tschiersch, M. Talbi, G. Guimaraes and W. Urfer, Clustering algorithms for aerial photographs and high resolution satellite images, Technical Report TR-28/2000 (http://www.statistik.uni-dortmund.de/~sfb475/sfblit.html), Dep. of Statistics, University of Dortmund, 2000.
• Berilhes Borges Garcia, Gabriel Pereira Lopes and Fávio Varejão, Compiling Default Theory into Extended Logic Programming, in: M. C. Monard and Jaime Simão Sichman (eds), Advances in Artificial Intelligence: International Joint Conference 7th Ibero-American Conference on Artificial Intelligence and 15th Brazilian Symposium on Artificial Intelligence (IBERAMIA-SBIA 2000), Atibaia, SP, Brazil, November 19-22, 2000. Proceedin, Lecture Notes in Artificial Intelligence, Springer, Berlin, Germany, Vol. 1952, Pag. 207-216, 2000.
• Paulo Quaresma and Irene Rodrigues, Cooperative Information Retrieval Dialogues through Clustering, in: Petr Sojka, Ivan Kopecek and Karel Pala (eds), TSD 2000 - Third International Workshop on TEXT, SPEECH and DIALOGUE, Brno, Czech Republic, September, 2000, Proceedings, Lecture Notes in Artificial Intelligence LNCS/LNAI, Springer, Berlin, Germany, Vol. 1902, Pag. 415-420, 2000.
• Paulo Quaresma and Irene Rodrigues, Cooperative Information Retrieval Dialogues through Clustering, in: Petr Sojka, Ivan Kopecek and Karel Pala (eds), Proceedings of the Third International Workshop on Text, Speech and Dialogue-TSD 2000, Lecture Notes in Artificial Intelligence LNCS/LNAI 1902, Springer, Brno, Czech Republic, Pag. 415-420, 2000.
• Francisco Azevedo and Pedro Barahona, Differentiating Diagnostic Theories through Constraints over an Eight-valued Logic, in: W. Horn (eds), Proceedings of ECAI'2000, 14th European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 54, Pag. 73-78, 2000.
• José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska, T. C. Przymusinski and Paulo Quaresma, Dynamic Knowledge Representation and its Applications, in: S. Cerri and D. Dochev (eds), Procs. of the 9th International Conference on Artificial Intelligence - Methodology, Systems, Applications (AIMSA'00), LNAI, Springer, Vol. 1904, Pag. 1-10, 2000.
• José Júlio Alferes, João Alexandre Leite and Luís Moniz Pereira, Dynamic Logic Programming with Multiple Dimensions, in: L. Garcia and M. Chiara Meo (eds), Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00), 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, Extracting Equivalents from Aligned Parallel Texts - Comparison of Measures of Similarity, in: Maria Carolina Monard and Jaime Simão Sichman (eds), Advances in Artificial Intelligence: International Joint Conference 7th Ibero-American Conference on Artificial Intelligence and 15th Brazilian Symposium on Artificial Intelligence (IBERAMIA-SBIA 2000), Atibaia, SP, Brazil, 2000 November 19-22. Proceeding, Lecture Notes in Artificial Intelligence, Springer, Berlin, Germany, Vol. 1952, Pag. 339-349, 2000.
• G. Dias, S. Madeira, S. Guilloré and Gabriel Pereira Lopes, Extrating Concepts from Dynamic Legislative Text Collections, 5th TELRI TransEuropean Language Ressource ans Infrastructure Seminar: How to extract meaning from corpora, Ljubljana - Slovenia, 2000.