Papers in proceedings

• João Moura Pires and Henri Prade, Flexibility as Relaxation - The Fuzzy Set View, Soft Constraints: Theory and Practice (workshop associated to CP'00 - 6th Int. Conf. on Principles and Practice of Constraint Programming, 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, Linear Regression Based Alignment of Parallel Texts Using Homograph Words, in: Werner Horn (eds), ECAI 2000: Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, The Netherlands, Vol. 54, Pag. 446-450, Berlin, Germany, 2000 August 20-25, 2000.
• E. Lamma, Luís Moniz Pereira and F. Riguzzi, Logic Aided Lamarckian Evolution, in: R. Michalski and P. Brazdil (eds), Fifth Int. Workshop on Multistrategy Learning, LIACC, Pag. 59-73, 2000.
• João Alexandre Leite, F. C. Pereira, A. Cardoso and Luís Moniz Pereira, Metaphorical Mapping Consistency via Dynamic Logic Programming, in: G. Wiggins (eds), Procs. of the AISB'00 Sysposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science, AISB, Pag. 41-50, 2000.
• G. Dias, S. Guilloré and Gabriel Pereira Lopes, Mining Textual Associations in Text Corpora, Workshop on Text Mining of the Sixth ACM SIGKDD International Conference on Knowledge Discovery an Data Mining, Boston, Pag. 92-95, 2 pages poster, 2000.
• Francisco Azevedo and Pedro Barahona, Modelling Digital Circuit Problems with Set Constraints, in: J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv and P.J. Stuckey (eds), Computational Logic - CL 2000, Lecture Notes in Computer Science, Springer, Vol. 1861, Pag. 414-428, 2000.
• José Júlio Alferes, João Alexandre Leite and Luís Moniz Pereira, Multi-dimensional Dynamic Logic Programming, in: F. Sadri and K. Satoh (eds), Procs of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), Imperial College, 2000.
• José Júlio Alferes, H. Herre and Luís Moniz Pereira, Partial Models of Extended Generalized Logic Programs, in: J. Lloyd (eds), Procs. of First International Conference on Computational Logic (CL 2000), LNAI, Springer, Vol. 1861, Pag. 149-163, 2000.
• José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira and Paulo Quaresma, Planning as Abductive Updating, in: D. Kitchin (eds), Procs. of the AISB'00 Symposium on AI Planning and Intelligent Agents, AISB, Pag. 1-8, 2000.
• Susana Nascimento, Proportional Membership for Fuzzy Clusterinng via Alternating Cluster Estimation, Proceedings of the 8th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2000, Univ. Politécnica de Madrid, Madrid, Spain, 3-7 July, 2000, Pag. 1977-1981, 2000.