Papers in proceedings

• Lígia Ferreira and Salvador Abreu, Design for AJACS, yet another Java Constaint Programming framework, Proceedings of AGP00: The 2000 Joint Conference on Declarative Programming, December 2000.
• Paulo Quaresma and Irene Rodrigues, A Dialogue Manager for a WWW-Based Information Retrieval System, in: H. Larsen, J. Kacprzyk, S. Zadrozny, T. Andreasen and H. Cristiansen (eds), FQAS 2000: Fourth International Conference on Flexible Query Answering Systems, Advances in Soft Computing, Physica-Verlag, Heidelberg, New York, Pag. 592-601, October 2000.
• Paulo Quaresma and Irene Rodrigues, A Logic Programming Agent for Controlling Distributed Web Dialogues, in: Osamu Yoshie (eds), INAP'2000 - The 13th International Conference on Applications of Prolog, REN Associates, Inc., Tokyo, Japan, ISSN 1345-0980, Pag. 46-53, October 2000.
• Carlos Viegas Damásio, A Distributed Tabling System, Proceedings of Tabulation in Parsing and Deduction 2000 (TAPD 2000), Vigo, Pag. 65-76, September 2000.
• Carlos Viegas Damásio and Luís Moniz Pereira, Hybrid probabilistic Logic Programs as Residuated Logic Programs, in: M. O. Aciego, I. P. de Guzmán, G. Brewka and Luís Moniz Pereira (eds), Logics in AI, Proceedings of JELIA'00, Springer, Málaga, Spain, Pag. 1362-1376, September 2000.
• G. Dias, S. Guilloré and Gabriel Pereira Lopes, Benefiting from multi-domain corpora for extracting terminologically relevant multiword lexical units, 9th EURALEX International Congress, Stuttgart - Germany, Vol. 1, Pag. 339-348, August 2000.
• J. Gartner, Terrance Swift, A. Tien, Carlos Viegas Damásio and Luís Moniz Pereira, Psychiatric Diagnosis from the Viewpoint of Computational Logic, in: J. Lloyd (eds), Procs. of First International Conference on Computational Logic (CL 2000), Springer, London, UK, Pag. 1362-1376, July 2000.
• Ricardo Lopes, Fernando Silva, Vitor Santos Costa and Salvador Abreu, The RAINBOW: Towards a Parallel BEAM, CL'2000 Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Programming Languages, July 2000.
• Salvador Abreu, Towards the OAR Language and Computational Model, CL'2000 Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Programming Languages, July 2000.
• Paulo Quaresma and Irene Rodrigues, Using knowledge to model cooperative information retrieval dialogues, in: Y. Wilks, G. Callaghan (eds), Proceedings of the 3rd International Workshop on Human-Computer Conversation, Dep. of Computer Science, University of Sheffield, UK, Bellagio, Italy, Pag. 142-147, July 2000.
• Francisco Azevedo and Pedro Barahona, A Constraint Programming Approach to Model ATPG Related Problems, Procs. of ETW 2000: IEEE European Test, May 2000.
• Paulo Quaresma and Irene Rodrigues, Automatic classification and Intelligent clustering for WWWeb information retrieval systems, in: J. Moreton (eds), In BILETA'2000 - 15th Annual BILETA (British and Irish Legal Education Technology Association), University of Warwick, UK, Coventry, UK, April 2000.
• G. Dias, S. Guilloré, J.C. Bassano and Gabriel Pereira Lopes, Combining Linguistics with Statistics for Multiword Term Extraction: A Fruitful Association ?, Recherche d'Informations Assistée par Ordinateur (RIAO), Paris - France, Pag. 1-20, April 2000.
• G. Dias, S. Guilloré and Gabriel Pereira Lopes, Extracting Textual Associations from Part-Of-Speech Tagged Corpora, European Association for Machine Translation Workshop, Ljubljana - Slovenia, April 2000.
• J. Gartner, Terrance Swift, A. Tien, Carlos Viegas Damásio and Luís Moniz Pereira, Psychiatric Diagnosis from the Viewpoint of Computational Logic, 7th Int. Conf. on Principles of Knowledge Representation and Reasoning, NMR ws on Abductive Reasoning, Breckenridge, Colorado, USA, April 2000.
• G. Dias and J.-H. Kaalep, Automatic extraction of multiword units for Estonian: a comparison between annotated and non-annotated corpora, International Futuristic Conference on Language Development, Talin, Estónia, March 2000.
• G. Dias, S. Guilloré and Gabriel Pereira Lopes, Extraction Automatique d'Associations Textuelles à Partir de Corpora Non Traités, in: M. Rajman and J-C. Chappelier (eds), 5es Journées Internationales d'Analyse Statistique des Données Textuelles, Ecole Polytechnique Fédérale de Lausanne, Lausanne, Pag. 213-221, March 2000.
• G. Dias, S. Guilloré and Gabriel Pereira Lopes, Normalisation of Association Measures for Multiword Lexical Unit Extraction, International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, Monastir - Tunisia, Pag. 207-216, March 2000.
• Salvador Abreu, A Logic-based Information System, in: Enrico Pontelli and Vitor Santos Costa (eds), 2nd International Workshop on Practical Aspects of Declarative Languages (PADL'2000), Lecture Notes in Computer Science, Springer, Boston, MA, USA, Vol. 1753, Pag. 141-153, January 2000.
• Salvador Abreu, A Logic-based Information System, in: Enrico Pontelli and Vitor Santos Costa (eds), 2nd International Workshop on Practical Aspects of Declarative Languages (PADL'2000), Springer, Vol. LNCS 1753, Pag. 141-153, January 2000.
• A Logic-based Information System, 2nd International Workshop on Practical Aspects of Declarative Languages (PADL'2000), Lecture Notes in Computer Science, Springer, Boston, MA, USA, Vol. 1753, Pag. 141-153, January 2000.
• L. Ferreira and Salvador Abreu, A CLP Framework in Java, Elsevier Electronic Notes in Theoretical Computer Science, 2000.
• Pedro Barahona, Francisco Azevedo, M. Veloso, N. Estêvão and R. Gallego, A Computerised Guideline for the Management of Diabetes, Proceedings of MIE'2000, Studies in Health Technology and Informatics, IOS Press, Vol. 77, Pag. 600-604, 2000.
• João Balsa and Gabriel Pereira Lopes, A Distributed Approach for a Robust and Evolving NLP System, in: Dimitis Christodoulakis (eds), Natural Language Processing - NLP 2000, Second Intenational Conference, Lecture Notes in Artificial Intelligence, Springer, Berlin, Germany, Vol. 1835, Pag. 151-161, 2000.
• Susana Nascimento, B. Mirkin and Fernando Moura Pires, A Fuzzy Clustering Model of Data and Fuzzy $c$-Means, Proceedings of The 9th IEEE International Conference on Fuzzy Systems, Fuzz-IEEE 2000. Soft Computing in the Information Age, IEEE, San Antonio, Texas USA, May 7-10, 2000, Pag. 302-307, 2000.
• Susana Nascimento, B. Mirkin and Fernando Moura Pires, A Fuzzy Clustering Model of Data with Proportional Membership, in: Thomas Whalen (eds), Proceedings of The 19th International Meeting of the North American Fuzzy Information Processing Society (NAFIPS 2000), IEEE, Atlanta USA, 13-16 July 2000, Pag. 261-267, 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, A Self-Learning Method of Parallel Texts Alignment, in: John White (eds), Envisioning Machine Translation in the Information Future - Proceedings of the 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000. Cuernavaca, Mexico, 2000 October 10-14. Proceedings, Lecture Notes in Artificial Intelligence, Springer, Berlin, Germany, Vol. 1934, Pag. 30-39, 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, Aligning Portuguese and Chinese Parallel Texts Using Confidence Bands, in: Riichiro Mizoguchi and John Slaney (eds), PRICAI 2000 Topics in Artificial Intelligence - Proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI 2000). Melbourne, Australia, 2000 August 28-September 1. Proceedings, Springer, Berlin, Germany, Vol. 1886, Pag. 627-637, 2000.
• José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska, T. C. Przymusinski and Paulo Quaresma, An Exercise with Dynamic Logic Programming, in: L. Garcia and M. Chiara Meo (eds), Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00), 2000.
• Paulo Quaresma and Irene Rodrigues, An Information Retrieval System with Cooperative Behaviour, in: Torbjorn Nordgard (eds), NODALIDA - Proceedings from the 12th Nordiske datalingvistikkdager, Dep. of Linguistics, Norwegian University of Science and Technology, Trondheim, Norway, Pag. 183-190, 2000.
• 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.
• 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.
• Ludwig Krippahl and Pedro Barahona, PSICO: Combining Constraint Programming and Optimisation to Solve Macromolecular Structures, Procs. of ERCIM/COMPULOG Workshop on Constraints, Univ. Padova, 2000.
• G. Guimaraes and W. Urfer, Self-Organizing Maps and its Applications in Sleep Apnea Research and Molecular Genetics, Technical Report TR-23/2000 (http://www.statistik.uni-dortmund.de/~sfb475/sfblit.html), Dep. of Statistics, University of Dortmund, 2000.
• João Moura Pires, Henri Prade and Didier Dubois, Specifying fuzzy constraints interactions without using aggregation operators, Procs. 7th IEEE Int. Conf. on Fuzzy Systems, IEEE, Pag. 228-233, 2000.
• G. Guimaraes, Temporal Data Mining for Multivariate Time Series, Proceedings of the 2000 International Conference on Artificial Intelligence (IC-AI'2000), June 26-29, Monte Carlo Resort, Las Vegas, Nevada, USA, Pag. 1379-1385, 2000.
• G. Guimaraes, Temporal Knowledge Discovery for Multivariate Time Series with Enhanced Self-Organizing Maps, Proceedings of IEEE-INNS-ENNS Intl. Joint Conf. on Neural Networks (IJCNN’2000), Como, 24-27 July, Italy, IEEE, Vol. 4, Pag. 165-170, 2000.
• G. Guimaraes, The Discovery of Sleep Apnea with Unsupervised Neural Networks, Proceedings of the 2000 International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS'2000), June 26-29, Monte Carlo Resort, Las Vegas, Nevada, USA, Pag. 361-367, 2000.
• G. Guimaraes, The Induction of Temporal Grammatical Rules From Multivariate Time Series, in: A. L. Oliveira (eds), Grammatical Inference: Algorithms and Applications, Proceedings of the 5th International Colloquium on Grammatical Inference (ICGI-2000), Lisbon, Lecture Notes in Artificial Intelligence, Springer, Vol. 1891, Pag. 127-140, 2000.
• José Júlio Alferes and Luís Moniz Pereira, Updates plus Preferences, in: M. O. Aciego, I. P. de Guzmán, G. Brewka and Luís Moniz Pereira (eds), Logics in AI, Procs. of JELIA'00, LNAI, Springer, Vol. 1919, Pag. 345-350, 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, Using Confidence Bands for Alignment with Hapaxes, in: Hamid Arabnia (eds), Proceedings of the International Conference on Artificial Intelligence (IC'AI 2000), Computer Science Research, Education and Applications Press, Athens, Georgia, U.S.A., Vol. II, Pag. 1089-1095, Las Vegas, U.S.A., 2000 June 26-29, 2000.
• António Ribeiro, Gabriel Pereira Lopes and João Mexia, Using Confidence Bands for Parallel Texts Alignment, Proceedings of the 38th Conference of the Association for Computational Linguistics (ACL 2000), Association for Computational Linguistics, Pag. 432-439, Hong Kong, China, 2000 October 3-6, 2000.
• João Moura Pires, Fernando Moura Pires and Rita Almeida Ribeiro, Why leximin FCSPs are so hard for local search, in: B. Bouchon-Meunier, R. Yager and L. Zadeh (eds), Uncertainty in Intelligent and Information Systems, Advances in Fuzzy Systems- Applications and Theory, World Scientific, Vol. 30, Pag. 185-196, 2000.