Papers in proceedings

• Paulo Quaresma and Irene Rodrigues, Intelligent Clustering as Source of Kowledge for a Web Dialogue Manager in an Information Retrieval Sustem, in: P. Szczepaniak, J. Segovia, J. Kacprzyk and L. Zadeh (eds), Intelligent Exploration of the Web, Studies in Fuzziness and Soft Computing, Springer, Pag. 166-180, November 2002.
• Veska Noncheva and Nuno Marques, Agent's Belief: A Stochastic Approach, in: Hendrik Blockee and Marc Denecker (eds), Proceedings of the 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'02), Leuven, Pag. 227-234, October 2002.
• Jorge Cruz and Pedro Barahona, Maintaining Global-Hull Consistency with Local Search for Continuous CSPs, First International Workshop on Global Constrained Optimization and Constraint Satisfaction, Cocos'02, October 2002.
• Luis Quintano, Gonçalo Marrafa, Joaquim Godinho and Salvador Abreu, Logic Programming for Network Management, V Portuguese Computer Network and Applications Conference (CRC'02), FCCN, September 2002.
• Amaral and Pedro Barahona, On Optimal Correctionof Inconsistent Linear Constraints, in: Pascal Van Hentenryck (eds), Principles and Practice of Constraint Programming, CP'2002 (Procs.), Lecture Notes in Computer Science, Springer, Vol. 2470, Pag. 33-46, September 2002.
• J. L. Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira, Paraconsistent Logic Programs, in: S. Flesca and G. Ianni (eds), Proceedings of Logics In Artificial Intelligence, 8th European Conference (JELIA2002), Lecture Notes in Artificial Intelligence 2424, Springer, Cosenza, Italy, ISBN 3-540-44190-5, Pag. 345-356, September 2002.
• J. L. Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira, Paraconsistent Logic Programs, Workshop on Paraconsistent Logics of ESSLLI'2002, CLE e-Prints, Trento, Italy, ISSN 1519-9681, August 2002.
• Salvador Abreu, Paulo Quaresma, L. Quintano and Irene Rodrigues, A Natural Language Dialogue Manager for Accessing Databases, in: E. Ranchhod and Nuno Mamede (eds), PorTAL - Proceedings of the 3rd International Conference on Natural Language Processing, Lecture Notes in Artificial Intelligence LNCS/LNAI 2389, Springer, University of Algarve, Faro, Portugal, June 2002.
• Salvador Abreu, Modeling Role-Based Access Control in ISCO, in: Lígia Maria Ribeiro and José Marques dos Santos (eds), The 8th International Conference of European University Information Systems, FEUP Edições, ISBN 972-752-051-0, June 2002.
• Miguel Calejo, Mário Araújo, Sónia Mota Araújo and Nuno Soares, Web Application Maker: a model-based approach to web database development, in: José Braz, Mario Piattini and Joaquim Filipe (eds), Procs of the 4rd International Conference on Enterprise Information Systems, ICEIS Press, Ciudad Real, Spain, ISBN 972-98050-6-7, April 2002.
• José Júlio Alferes, P. Dell'Acqua and Luís Moniz Pereira, A Compilation of Updates plus Preferences, in: S. Flesca, S. Greco, N. Leone and G. Ianni (eds), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), LNAI, Springer, Vol. 2424, Pag. 62-73, 2002.
• Paulo Quaresma and Irene Rodrigues, A dialogue manager for semantic web documents, ICON'2002 - International Conference on Natural Language Processing, Bombaim, India, 2002.
• João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska and T. C. Przymusinski, A Language for Multi-dimensional Updates, in: Juergen Dix, João Alexandre Leite and K. Satoh (eds), Computational Logic in Multi-Agent Systems: Proceedings of the 3rd International Workshop, CLIMA'02, Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, Pag. 19-34, 2002.
• João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska and T. C. Przymusinski, A Language for Updates with Multiple Dimensions, in: J. J. Moreno-Navarro and J. M. Carballo (eds), Procs. of the APPIA-GULP-PRODE'02 Joint Conference on Declarative Programming (AGP'02), Faculdad de Informática de Madrid, Pag. 325-341, 2002.
• P. Dell'Acqua, Ulf Nilsson and Luís Moniz Pereira, A Logic Based Asynchronous Multi-Agent System, in: Juergen Dix, João Alexandre Leite and K. Satoh (eds), Computational Logic in Multi-Agent Systems: Proceedings of the 3rd International Workshop, CLIMA'02, Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, Pag. 63-78, 2002.
• Salvador Abreu, Paulo Quaresma, Luis Quintano and Irene Rodrigues, A Natural Language Dialogue Manager for Accessing Databases, in: Elisabete Ranchod and Nuno Mamede (eds), Advances in Natural Language Processing, Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2389, ISBN 3-540-43829-7, (url), 2002.
• Leonilde Varela, Joaquim Nunes Aparício and Carmo Silva, An XML Knowledge Base System for Scheduling Problems, in: H. Unger, T. Boehme and A. Mikler (eds), Innovative Internet Computing Systems, Lecture Notes in Computer Science Series, Springer, Germany, Pag. 63-74, 2002.
• E. Lamma, Luís Moniz Pereira and F. Riguzzi, Belief Revision via Lamarckian Evolution, in: Claudio Delrieux (eds), Second InternationalWorkshop on Computation Models of Scientific Reasoning and Applications (II CMSRA) online procedings, http://www.lip.uns.edu.ar/cmsra/, held at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, 2002.
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira, Computing Environment-Aware Agent Behaviours with Logic Program Updates, in: A. Pettorossi (eds), Proceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation LOPSTR'01, LNCS, Springer, Vol. 2372, Pag. 216-232, 2002.
• Francisco Azevedo and Pedro Barahona, Constraint Programming and Local Search with Multi-Valued Logics for Optimisation of Test Patterns, Procs. of ETW'02, IEEE European Test Workshop, Corfu, Greece, Pag. 11-12, 2002.
• J. Saias and Paulo Quaresma, Construção automática de ontologias e sua utilização em sistemas de recuperação de informação em texto, 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.
• Leonilde Varela, Joaquim Nunes Aparício and Carmo Silva, Developing a Web Scheduling System Based on XML Modeling, in: V. Marik, L. M. Camarinha-Matos and H. Afsarmanesh (eds), Knowledge and Technology Integration in Product and Services Balancing Knowledge and Technology in Product and Service Life Cycle, Lecture Notes in Computer Science Series, Kluwer Academic Press, London, Pag. 61-70, 2002.
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira, Evolving Logic Programs, in: S. Flesca, S. Greco, N. Leone and G. Ianni (eds), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), LNAI, Springer, Vol. 2424, Pag. 50-61, 2002.
• Luís Moniz Pereira, On Philosophical Incidences of Logic Programming, in: Claudio Delrieux (eds), Second InternationalWorkshop on Computation Models of Scientific Reasoning and Applications (II CMSRA) online procedings, http://www.lip.uns.edu.ar/cmsra/, held at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, 2002.
• Juergen Dix, João Alexandre Leite and K. Satoh, Preface, in: Juergen Dix, João Alexandre Leite and K. Satoh (eds), Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Proceedings, Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, ISSN 0109-9779, Pag. iii-v, 2002.
• Leonilde Varela, Joaquim Nunes Aparício and Carmo Silva, Scheduling Problems Modeling with XML, in: J. C. Carvalho, J. R. Menezes, E. Reis and R. C. Pinto (eds), International Meeting for Research in Logistics, Lisbon, Portugal, Pag. 897-909, 2002.
• José Saias and Paulo Quaresma, Semantic enrichment of a web legal information retrieval system, in: T. Bench-Capon (eds), JURIX'2002 - Fifteenth Annual International Conference on Legal Knowledge and Information Systems, IOS Press, London, UK, 2002.
• Joaquim Nunes Aparício, Leonilde Varela and Carmo Silva, Share Your (Scheduling) Problems, in: J. C. Carvalho, J. R. Menezes, E. Reis and R. C. Pinto (eds), 6th World MultiConference on Systemics, Cybernetics and Informatics, International Institute of Informatics and Systemics (IIIS), Orlando, Florida, USA, 2002.
• Vitor Nogueira, Salvador Abreu and Gabriel David, Towards Temporal Reasoning in ISCO, Proceedings of AGP'02, FI/UPM, Madrid, Spain, 2002.
• P. Dell'Acqua, Luís Moniz Pereira and A. Vitoria, User preference information in query answering, in: Ami Motro and Troels Andreasen (eds), Fifth International Conference on Flexible Query Answering Systems (FQAS'02), LNAI 2522, Springer, Copenhagen, Denmark, Pag. 163-173, 2002.
• 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.