Papers in proceedings

• José Saias and Paulo Quaresma, A methodology to create ontology-based information retrieval systems, in: Fernando Moura Pires and Salvador Abreu (eds), Progress in Artificial Intelligence, 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Lecture Notes in Computer Science, Springer, Beja, Portugal, Vol. 2902, ISBN 3-540-20589-6, Pag. 424-434, December 2003.
• Teresa Gonçalves and Paulo Quaresma, A Preliminary Approach to the Multilabel Classification Problem of Portuguese Juridical Documents, in: Fernando Moura Pires and Salvador Abreu (eds), Progress in Artificial Intelligence, 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Lecture Notes in Computer Science, Springer, Beja, Portugal, Vol. 2902, ISBN 3-540-20589-6, Pag. 435-444, December 2003.
• Nuno Graça and Paulo Quaresma, How to model legal reasoning using dynamic logic programming: a preliminary report, in: Daniele Bourcier (eds), JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems, IOS Press, Utrecht, Netherlands, ISBN 1-58603-398-0, Pag. 163-172, December 2003.
• Paulo Quaresma and Irene Rodrigues, Using dialogues to access semantic knowledge in a web legal IR system, in: Marie-Francine Moens (eds), Procs. of the Workshop on Question Answering for Interrogating Legal Documents of JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems, Utrecht University, Utrecht, Netherlands, December 2003.
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira, An Evolving Agent with EVOLP, in: Francesco Buccafurri (eds), Procs. of the 2003 APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'2003), Universita "Mediterranea" di Reggio Calabria, Reggio Calabria, Italy, September 2003.
• Nuno Graça and Paulo Quaresma, Using Dynamic logic programming to model legal reasoning, in: Francesco Buccafurri (eds), Procs. of the 2003 APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'2003), Universita "Mediterranea" di Reggio Calabria, Reggio Calabria, Italy, Pag. 217-225, September 2003.
• João Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira, On Contradictions and their Propagation in Paraconsistent Logic Programs, III World Congress on Paraconsistency (WCP3), Toulouse, France, July 2003.
• Joaquim Godinho, Luis Quintano and Salvador Abreu, Universidade de Évora's Integrated Information System: An Application, in: Hans Dijkman, Petra Smulders, Bas Cordewener and Kurt de Belder (eds), The 9th International Conference of European University Information Systems, Universiteit van Amsterdam, ISBN 90-9017079-0, July 2003.
• Salvador Abreu, Paulo Quaresma, Luis Quintano and Irene Rodrigues, A dialogue manager for accessing databases, in: H. Jaakkola, H. Kangassalo and Eiji Kawaguchi (eds), Information Modelling and Knowledge Bases XV, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 105, ISBN 1-58603-396-4, Pag. 213-224, June 2003.
• Rachel Aires, Sandra Aluísio, Paulo Quaresma, Diana Santos and Mário Silva, An initial proposal for cooperative evaluation on information retrieval in Portuguese, in: N. Mamede, J. Baptista and M. Volpe Nunes (eds), Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR'2003, Lecture Notes in Artificial Intelligence LNCS/LNAI 2721, Springer, Pag. 227-234, June 2003.
• Caroline Gasperin, Renata Vieira, Rodrigo Goulart and Paulo Quaresma, Extracting XML syntactic chunks from Portuguese corpora, TALN'2003 - Workshop on Natural Language Processing of Minority Languages and Small Languages of the Conference on "Traitement Automatique des Langues Naturelles", Batz-sur-Mer, France, June 2003.
• Luis Quintano and Irene Rodrigues, Managing dialog and access control in natural language querying, in: N. Mamede, J. Baptista and M. Volpe Nunes (eds), Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR'2003, Lecture Notes in Artificial Intelligence LNCS/LNAI 2721, Springer, Pag. 206-209, June 2003.
• Carlos Viegas Damásio and Manuel Ojeda-Aciego, On Termination of a Tabulation Procedure for Residuated Logic Programming, Workshop on Termination (WST'03), Valencia, Spain, Pag. 40-43, June 2003.
• Paulo Quaresma and Irene Rodrigues, Using dialogues to access semantic knowledge in a web IR system, in: N. Mamede, J. Baptista and M. Volpe Nunes (eds), Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR'2003, Lecture Notes in Artificial Intelligence LNCS/LNAI 2721, Springer, Pag. 201-205, June 2003.
• José Saias and Paulo Quaresma, Using NLP techniques to create legal ontologies in a logic programming based web information retrieval system, in: J. Breuker, A. Gangemi, D. Tiscornia and R. Winkels (eds), Workshop on Legal Ontologies and Web based Legal Information Management of the International Conference on Artificial Intelligence and Law, ICAIL'03, June 2003.
• Paulo Quaresma and Irene Rodrigues, A natural language interface for information retrieval on semantic web documents, in: E. Menasalvas, J. Segovia and P. Szczepaniak (eds), AWIC'2003 - Atlantic Web Intelligence Conference, Lecture Notes in Artificial Intelligence LNCS/LNAI 2663, Springer, Madrid, Spain, Pag. 142-154, May 2003.
• Valéria Magalhães Pequeno and Joaquim Nunes Aparício, A Formal Model for Object-Relational Databases, 5th International Conference on Enterprise Information Systems, ICEIS03, Pag. 327-333, 2003.
• P. Dell'Acqua and Luís Moniz Pereira, A Logical Framework for Modelling eMAS, in: V. Dahl and P. Wadler (eds), Procs. Practical Aspects of Declarative Languages PADL'03, LNCS, Springer, Vol. 2562, Pag. 241-255, 2003.
• Gregory Wheeler and Luís Moniz Pereira, A Note on Epistemology and Logical Artificial Intelligence, in: C. Delrieux and J. Legris (eds), Procs. 3rd Int. Workshop on Computational Models of Scientific Reasoning and Applications III CMSRA, Institute for the Studies on Science and Technology, Buenos Aires, Argentina, Pag. 207-221, 2003.
• José Júlio Alferes, Federico Banti and Antonio Brogi, A principled semantics logic programs updates, in: Brewka and Peppas (eds), Nonmonotonic Reasoning, Action, and Change (NRAC'03),, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, A Scheduling Web Service, 1st International Conference on Scheduling: Theory and Applications, Univ. Nottingham, Pag. 540-551, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, A Scheduling Web Service based on XML-RPC, The ICAPS-03 Workshop on Planning for Web Services, Pag. 43-50, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, A Web System for Manufacturing Scheduling, Int. Conf. on Industrial Engineering and Production Management, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, A Web-based Application for Manufacturing Scheduling, The International Conference on Intelligent Systems and Control, International Association of Science and Technology for Development - IASTED, Pag. 400-405, 2003.
• P. Dell'Acqua, Mattias Engberg and Luís Moniz Pereira, An Architecture for a Rational Reactive Agent, in: Salvador Abreu and Fernando Moura Pires (eds), Progress in Artificial Intelligence, Procs. 11th Portuguese Int. Conf. on Artificial Intelligence EPIA'03, LNAI, Springer, Vol. 2902, Pag. 379-393, 2003.
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira, An Evolvable Rule-Based E-mail Agent, in: Salvador Abreu and Fernando Moura Pires (eds), Progress in Artificial Intelligence, Procs. 11th Portuguese Int. Conf. on Artificial Intelligence EPIA'03, LNAI, Springer, Vol. 2902, Pag. 394-408, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, An Internet System for Scheduling Problems Solving, 7th Multiconference on Systemics, Cybernetics and Informatics, 2003.
• Nuno Marques and Chen Ning, Border detection on remote sensing satellite data using self-organizing maps, in: Fernando Moura Pires and Salvador Abreu (eds), Proceedings of Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, Springer, Vol. 2902, 2003.
• P. Dell'Acqua and Luís Moniz Pereira, Common-sense reasoning as proto-scientific agent activity, in: C. Delrieux and J. Legris (eds), Procs. 3rd Int. Workshop on Computational Models of Scientific Reasoning and Applications III CMSRA, Institute for the Studies on Science and Technology, Buenos Aires, Argentina, Pag. 56-78, 2003.
• Jorge Cruz and Pedro Barahona, Constraint Reasoning in Deep Biomedical Models, in: M. Dojat, E. Keravnou and Pedro Barahona (eds), 9th Conference on Artificial Intelligence in Medicine in Europe, AIME'2003, LNAI, Springer, Vol. 2780, Pag. 324-334, 2003.
• Jorge Cruz and Pedro Barahona, Constraint Reasoning with Differential Equations, Proceedings of the International Conference on Numerical Analysis and Computational Mathematics, NACoM-2003, Anglia Polytechnic University (APU), Cambridge, UK, Pag. 38-41, 2003.
• Jorge Cruz and Pedro Barahona, Constraint Satisfaction Differential Problems, in: Francesca Rossi (eds), Principles and Practice of Constraint Programming, CP'2003, LNAI, Springer, Vol. 2833, Pag. 259-273, 2003.
• J. Simão and Luís Moniz Pereira, Ethos: a MAS framework for modelling human social behavior and culture, in: Jean-Pierre Müller (eds), Procs. Agent-Based Simulation 4 ABS4, SCS European Publishing House, Pag. 87-92, 2003.
• Akira Ishikawa, Paulo Quaresma and Rolf Schwitter, Knowledge Acquisition and Knowledge Representation, in: Bartenstein, Geske, Hannebauer and Yoshie (eds), Web-Knowledge Management and Decision Support, LNAI, Springer, Vol. 2543, Pag. 69-71, 2003.
• José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira, Logic Programming for Evolving Agents, in: Matthias Klusch, Sascha Ossowski, Andrea Omicini and Heimo Laamanen (eds), Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Lecture Notes in Computer Science, Springer, Vol. 2782, Pag. 281-297, 2003.
• Jorge Cruz and Pedro Barahona, Maintaining Global-Hull Consistency with Local Search for Continuous CSPs, in: Sophia-Antipolis, C.Bliek, C. Jermann and A. Neumaier (eds), 1st Int. Ws. on Global Constrained Optimization and Constraint Satisfaction, Cocos'02 (Selected Papers), LNCS, Springer, Vol. 2861, Pag. 178-193, 2003.
• Luis Quintano and Irene Rodrigues, Managing Dialog in a Natural Language Querying System, in: Salvador Abreu and Fernando Moura Pires (eds), Progress in Artificial Intelligence, Procs. 11th Portuguese Int. Conf. on Artificial Intelligence EPIA'03, LNAI, Springer, Vol. 2902, Pag. 488-501, 2003.
• Luís Moniz Pereira, Memorando - um sistema de avaliação de mérito no ensino universitário, in: A. Amaral (eds), Avaliação, Revisão e Consolidação da Legislação do Ensino Superior, CIPES - Fundação das Universidades Portuguesas, Pag. 369-385, 2003.
• Luis Quintano and Irene Rodrigues, Natural Language Querying over Information Systems, in: Hans Dijkman, Petra Smulders, Bas Cordewener and Kurt de Belder (eds), 9th International Conference of European University Information Systems, Univ. Amsterdam, Pag. 507-512, 2003.
• J. Simão and Luís Moniz Pereira, Neuro-Psychological Social Theorizing and Simulation with the Computational Multi-Agent System Ethos, in: Dept. de Psicologia, Univ. Évora (eds), Congresso em Neurociências Cognitivas NCC03, invited paper, Univ. Évora, Évora, 2003.
• Salvador Abreu and Daniel Diaz, Objective: in Minimum Context, in: Catuscia Palamidessi (eds), Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2916, ISBN 3-540-20642-6, Pag. 128-147, (url), 2003.
• Paulo Quaresma and Irene Rodrigues, PGR: Portuguese Attorney General's Office Decisions on the Web, in: Bartenstein, Geske, Hannebauer and Yoshie (eds), Web-Knowledge Management and Decision Support, LNAI, Springer, Vol. 2543, Pag. 51-61, 2003.
• João Alexandre Leite and Juergen Dix, Preface, Pre-Procs. of the 4th Workshop on Computational Logic in Multiagent Systems (CLIMA IV), ITZ Berichte, Clausthal-Zellerfeld, Vol. 1, ISBN 3-89720-688-9, Pag. iii-vi, 2003.
• João Alexandre Leite, A. Omicini, L. Sterling and P. Torroni, Preface, in: João Alexandre Leite, A. Omicini, L. Sterling and P. Torroni (eds), Pre-Procs. of the 1st International Workshop on Declarative Agent Languages and Technologies (DALT'03), Pag. v-vii, 2003.
• P. Dell'Acqua and Luís Moniz Pereira, Prefering and Updating in Logic-based Agents, in: Bartenstein, Geske, Hannebauer and Yoshie (eds), Web-Knowledge Management and Decision Support, LNAI, Springer, Vol. 2543, Pag. 69-71, 2003.
• Ludwig Krippahl and Pedro Barahona, Propagating N-Ary Rigid-Body Constraints, in: Francesca Rossi (eds), Principles and Practice of Constraint Programming, CP'2003, LNAI, Springer, Vol. 2833, Pag. 452-465, 2003.
• Aida Vitória, Carlos Viegas Damásio and Jan Maluszynski, Query Answering in Rough Knowledge Bases, in: Guoyin Wang, Qing Liu, Yiyu Yao and Andrzej Skowron (eds), Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2639, ISBN 3-540-14040-9, Pag. 197-204, 2003.
• Luís Moniz Pereira, Reformar o Ensino Superior - documento colectivo, in: A. Amaral (eds), Avaliação, Revisão e Consolidação da Legislação do Ensino Superior, CIPES - Fundação das Universidades Portuguesas, Pag. 221-231, 2003.
• Luis Quintano, Salvador Abreu and Irene Rodrigues, Relational Information Retrieval through Natural Language Analysis, in: Oskar Bartenstein, Ulrich Geske, Markus Hannebauer and Osama Yoshie (eds), Web Knowledge Management and Decision Support, Lecture Notes in Computer Science, Springer, Vol. 2543, ISBN 3-540-00680-X, Pag. 86-99, (url), 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, Scheduling Web Service based on XML-RPC (short version), The ICAPS-03 Doctoral Consortium, Pag. 127-131, 2003.
• José Júlio Alferes, Carlos Viegas Damásio and Luís Moniz Pereira, Semantic Web Logic Programming Tools, in: François Bry, Nicola Henze and Jan Maluszynski (eds), Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2901, ISBN 3-540-20582-9, Pag. 16-32, 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, Sistema de Informação da Rota da Região do Vinho Verde - VVRoute, 4th Conference of the Portuguese Association for Information Systems, 2003.
• Nuno Marques and Agnés Braud, Text Mining using Generalized Character Based n-Gram, in: Fernando Moura Pires and Salvador Abreu (eds), Proceedings of Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, Springer, Vol. 2902, 2003.
• Vitor Nogueira, Salvador Abreu and Gabriel David, Using Contextual Logic Programming for Temporal Reasoning, in: Ernesto Pimentel, Nieves R. Brisaboa and Jaime Gómez (eds), VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, ISBN 84-688-3836-5, Pag. 479-490, (url), 2003.
• M. L. R. Varela, Joaquim Nunes Aparício and S. C. Silva, Web Service for Production Scheduling, in Business Excellence I: Performance Measures, Benchmarking and Best Practices in New Economy, Univ. Minho, Pag. 523-528, 2003.
• Chen Ning and Nuno Marques, Web Service-based approach of data mining in distributed environments, Proceedings of the 5th International Conference On Enterprise Information Systems, Workshop on Web Services: Modeling, Architecture and Infrastructure, 2003.
• J. Simão, P. M. Todd and Luís Moniz Pereira, What's Cool? Modelling Fashion-like Collective Behavior Emergence from Individual Neuro-psychological Conditioning, in: European Social Simulation Association (eds), 1st Conf. European Social Simulation Association (SIMSOC VI), Poster, 2003.