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.