Papers in proceedings

• Paulo Quaresma and Irene Rodrigues, A Question-Answering System for Legal Information Retrieval, in: Marie-Francine Moens and Peter Spyns (eds), Proceedings of JURIX 2005: The 18th Annual Conference on Legal Knowledge and Information Systems, Frontiers in Artificial Intelligence and Applications, IOS Press, Brussels, Belgique, ISBN 1-58603-576-2, Pag. 91-100, December 2005.
• Nuno Viana, Ricardo Raminhos and João Moura Pires, A Real Time Data Extraction, Transformation and Loading Solution for Semi-structured Text Files, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Progress in Artificial Intelligence - Procs. of EKDBW'05, 5th International Workshop on Extraction of Knowledge from Databases & Warehouse, a part of EPIA'05, 12th Portuguese Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, Covilhã, Portugal, Vol. 3808, ISBN 3-540-30737-0, Pag. 383-394, December 2005.
• Chen Ning and Nuno Marques, An Extension of Self-Organizing Maps to Categorical Data, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Progress in Artificial Intelligence - Procs. 12th Portuguese Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, Covilhã, Portugal, Vol. 3808, ISBN 3-540-30737-0, Pag. 304-313, December 2005.
• Marco Castellani and Nuno Marques, Automatic Detection of Meddies through Texture Analysis of Sea Surface Temperature Maps, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Progress in Artificial Intelligence - Procs. 12th Portuguese Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, Covilhã, Portugal, Vol. 3808, ISBN 3-540-30737-0, Pag. 359-370, December 2005.
• Michal Valko, Nuno Marques and Marco Castellani, Evolutionary Feature Selection for Spiking Neural Network Pattern Classifiers, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Procs. of EKDBW'05, 5th International Workshop on Extraction of Knowledge from Databases & Warehouse, a part of EPIA'05, 12th Portuguese Conference on Artificial Intelligence, Univ. Beira Interior, Covilhã, Portugal, ISBN 0-7803-9365-1, Pag. 24-32, December 2005.
• P. Dell'Acqua and Luís Moniz Pereira, Preference Revision via Declarative Debugging, in: Carlos Bento, A. Cardoso and G. Dias (eds), Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05), LNAI, Springer, Covilhã, Portugal, Pag. 18-28, December 2005.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Revised Stable Models - a Semantics for Logic Programs, in: Carlos Bento, A. Cardoso and G. Dias (eds), Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05), LNAI, Springer, Covilhã, Portugal, Pag. 29-42, December 2005.
• P. Curtoni, L. Dini, V. Di Tomaso, L. Mommers, W. Peters, Paulo Quaresma, E. Schweighofer and D. Tiscornia, Semantic Access to multilingual legal information, in: E. Schweighofer (eds), Proceedings of EU INFO Workshop "Free EU Information on the Web: The Future beyond the new EUR-Lex" of JURIX 2005 - The 18th Annual Conference on Legal Knowledge and Information Systems, Vrije Universiteit, Brussels, Brussels, Belgique, Pag. 1-11, December 2005.
• Rosa Matias and João Moura Pires, Spatial On-Line Analytical Processing (SOLAP): A Tool the to Analyze the Emission of Pollutants in Industrial Installations, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Procs. of EKDBW'05, 5th International Workshop on Extraction of Knowledge from Databases & Warehouse, a part of EPIA'05, 12th Portuguese Conference on Artificial Intelligence, Univ. Beira Interior, Covilhã, Portugal, ISBN 0-7803-9365-1, December 2005.
• Nuno Datia, João Moura Pires, Margarida Cardoso and Helder Pita, Temporal Patterns of TV watching for Portuguese Viewers, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Procs. of EKDBW'05, 5th International Workshop on Extraction of Knowledge from Databases & Warehouse, a part of EPIA'05, 12th Portuguese Conference on Artificial Intelligence, Univ. Beira Interior, Covilhã, Portugal, ISBN 0-7803-9365-1, December 2005.
• Yiling Yang and Nuno Marques, User Group Profile Modeling based on User Transactional Data, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Progress in Artificial Intelligence - Procs. 12th Portuguese Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, Covilhã, Portugal, Vol. 3808, ISBN 3-540-30737-0, Pag. 337-347, December 2005.
• Ricardo Ferreira, João Moura Pires, Ramiro Martins and Marta Pantoquilho, XML based Metadata Repository for Information Systems, in: Carlos Bento, Amílcar Cardoso and Gaël Dias (eds), Procs. of EKDBW'05, 5th International Workshop on Extraction of Knowledge from Databases & Warehouse, a part of EPIA'05, 12th Portuguese Conference on Artificial Intelligence, Univ. Beira Interior, Covilhã, Portugal, ISBN 0-7803-9365-1, December 2005.
• Wolfgang May, José Júlio Alferes and Ricardo Amador, Active Rules in the Semantic Web: Dealing with Language Heterogeneity, in: Asaf Adi, Suzette Stoutenburg and Said Tabet (eds), Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Lecture Notes in Computer Science, Springer, Vol. 3791, Pag. 30-44, November 2005.
• Ludwig Krippahl and Pedro Barahona, Applying Constraint Programming to Rigid Body Protein Docking, in: Peter van Beek (eds), Procs. of CP'05, 11th Int. Conf. on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, Springer, Sitges, Spain, Vol. 3709, Pag. 373-387, October 2005.
• Salvador Abreu and Vitor Nogueira, Using a Logic Programming Language with Persistence and Contexts, in: Masanobu Umeda and Armin Wolf (eds), Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), Univ. Waseda, Fukuoka, Japan, ISSN 1345-0980, October 2005.
• José Júlio Alferes, Ricardo Amador and Wolfgang May, A General Language for Evolution and Reactivity in the Semantic Web, in: Francois Fages and Sylvain Soliman (eds), Principles and Practice of Semantic Web Reasoning PPSWR'05, Lecture Notes in Computer Science, Springer, Vol. 3703, Pag. 101-115, September 2005.
• Paulo Quaresma and Irene Rodrigues, A Logic Programming-Based Approach to QA@CLEF-2005, in: Carol Peters (eds), Question-Answering Track of the Cross Language Evaluation Forum, CLEF, Vienna, Austria, September 2005.
• Susana Nascimento, F. M. Sousa, H. Casimiro and D. Boutov, Applicability of Fuzzy Clustering for the Identification of Upwelling Areas on Sea Surface Temperature Images, in: B. Mirkin and G. Magoulas (eds), Proceedings of the 2005 UK Workshop on Computational Intelligence (UKCI'05), Birkbeck College, University of London, London, UK, Pag. 143-148, September 2005.
• C. Prolo, Paulo Quaresma, Irene Rodrigues, Pedro Salgueiro and R. Vieira, A question-answering system for Portuguese, in: Farah Benamara, Marie-Francine Moens and Patrick Saint-Dizier (eds), Proceedings of the Workshop on Knowledge and Reasoning for Answering Questions of the International Joint Conference on Artificial Intelligence, Edinburgh University, Edinburgh, Scotland, Pag. 45-48, July 2005.
• Isa Alves, Rove Chishman, Paulo Quaresma and José Saias, Busca e Extração de Informações através de Pergunta e Resposta: uma nova concepção na WEB, TIL - III Workshop em Tecnologias da Informação e da Linguagem Humana, XXV Congresso da Sociedade Brasileira de Computação, SBC - Sociedade Brasileira de Computação, São Leopoldo, RS, Brasil, Pag. 2218-2227, July 2005.
• T. Gonçalves and Paulo Quaresma, Evaluating preprocessing techniques in a Text Classification problem, XXV Congresso da Sociedade Brasileira de Computação, SBC - Sociedade Brasileira de Computação, São Leopoldo, RS, Brasil, Pag. 841-850, July 2005.
• Paulo Quaresma and Irene Rodrigues, A question-answering system for Portuguese juridical documents, in: Giovanni Sartor (eds), Proceedings of the 10th International Conference on Artificial Intelligence and Law, ACM, Bologna, Italy, ISBN 1-59593-081-7, Pag. 256-257, June 2005.
• Ludwig Krippahl, Pedro Barahona and José Moura, Constrained Protein Docking with Chemera 3.0, in: Francisco M. Couto, Mário J. Silva and Pedro Fernandes (eds), Procs of BKDB2005 - Bioinformatics: Knowledge Discovery in Biology, Faculdade de Ciências Universidade de Lisboa, ISBN 972-9348-12-10, Pag. 10-14, June 2005.
• T. Gonçalves and Paulo Quaresma, Enhancing a Portuguese text classifier using part-of-speech tags, in: M. Klopotek, S. Weirzchon and K. Trojanowski (eds), Proceedings of the International IIS: IIPWM'05 Conference, Advances in Soft Computing, Springer, Gdansk, Poland, Pag. 189-198, June 2005.
• T. Gonçalves and Paulo Quaresma, Is linguistic information relevant for the classification of legal texts?, in: Giovanni Sartor (eds), Proceedings of the 10th International Conference on Artificial Intelligence and Law, ACM, Bologna, Italy, ISBN 1-59593-081-7, Pag. 168-176, June 2005.
• Francisco Azevedo, A Prototype for General Planning, in: Carlos Bento (eds), Proceedings of 2005 Portuguese Conference on Artificial Intelligence (EPIA 2005, General Artificial Intelligence Section), IEEE, ISBN 0-7803-9365-1, Pag. 24-32, 2005.
• Vitor Nogueira and Salvador Abreu, A Temporal Programming Language for Heterogeneous Information Systems, in: Maurizio Gabbrielli and Gopal Gupta (eds), ICLP, Lecture Notes in Computer Science, Springer, Vol. 3668, ISBN 3-540-29208-X, Pag. 444-445, (url), 2005.
• João Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira, A Well-Founded Semantics with Disjunction, in: Maurizio Gabbrielli and Gopal Gupta (eds), Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3668, ISBN 3-540-29208-X, Pag. 341-355, 2005.
• D.T. Pham and Marco Castellani, An Intelligent System for Manufacturing Fibre Optic Components, in: D T Pham, E E Eldukhri and A J Soroka (eds), Proceedings of the 1st Virtual International Conference on Intelligent Production Machines and Systems, Elsevier, ISBN 0-080-44730-9, Pag. 155-162, 2005.
• C. Bratsas, P. Bamidis, Paulo Quaresma, G. Pangalos and N. Maglaveras, An Internet Application to Manage an OWL Ontology for Medical Computational Problem Solving, in: A. Engin and P. Niederer (eds), Proceedings of MedNet 2005 - 10th World Congress on the Internet in Medicine, Special Issue: Technology and HealthCare, ISO Press, Prague, Czech Republic, Vol. 13, ISSN 0928-7329, Pag. 365-366, 2005.
• Wolfgang May, José Júlio Alferes and Ricardo Amador, An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web, in: R. Meersman, Z. Tari, M. Hacid, J. Mylopoulos, B. Pernici, O. Babaoglu, H. Jacobsen, J. Loyall, M. Kifer and S. Spaccapietra (eds), RulesOn the Move to Meaningful Internet Systems 2005: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Lecture Notes in Computer Science, Springer, Vol. 3761, Pag. 1553-1570, 2005.
• Marco Castellani, Automatic detection of Mediterranean water eddies from satellite imagery of the Atlantic Ocean, in: D T Pham, E E Eldukhri and A J Soroka (eds), Proceedings of the 1st Virtual International Conference on Intelligent Production Machines and Systems, Elsevier, ISBN 0-080-44730-9, Pag. 163-170, 2005.
• Marco Correia, Pedro Barahona and Francisco Azevedo, CaSPER: A Programming Environment for Development and Integration of Constraint Solvers, in: Francisco Azevedo (eds), Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD'05), Pag. 59-73, 2005.
• Gregory Wheeler, Computing, Philosophy and Cognition, in: Lorenzo Magnani and Riccardo Dossena (eds), , King's College Publications, London, 2005.
• Kyburg, H. E. Jr., Choh Man Teng and Gregory Wheeler, Conditionals and Consequences, in: Luís Moniz Pereira and Gregory Wheeler (eds), Proceedings of CMSRA-IV, Lisbon, 2005.
• Gil Loureiro and Francisco Azevedo, Constrained XSL Formatting Objects for Adaptive Documents, in: Peter R. King (eds), Proceedings of the 2005 ACM symposium on Document engineering (DocEng 2005), ACM, ISBN 1-59593-240-2, Pag. 95-97, 2005.
• José Júlio Alferes, Federico Banti and Antonio Brogi, From logic programs updates to action description updates, in: João Alexandre Leite and P. Torroni (eds), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V - Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Springer, Vol. 3387, Pag. 52-77, 2005.
• Federico Banti, José Júlio Alferes and Antonio Brogi, Implementation of dynamic logic programs, in: M. Proietti (eds), Proceedings of CILC'05 - Italian Conference on Computational Logic, Quaderno del Dipartimento di Matematica, 2005.
• G. Guimaraes and Luís Moniz Pereira, Inferring Definite-Clause Grammars to Express Multivariate Time Series, in: M. Ali and F. Esposito (eds), Procs. The 18th Intl.Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE'05), LNAI, Springer, Bari, Italy, Vol. 3533, Pag. 332-341, 2005.
• Jeannette Bohg, Reinhard Kahle and Alexandre Miguel Pinto, International Tele-Teaching - A Progress Report, in: V. Dötsch, K. Hering and F. Schaar (eds), Auf dem Weg vom Hype in die Konsilidierung? Proceedings of the Workshop on e-Learning 2005, HTWK Leipzig, 11.-12. Juli 2005, Fachbereich Informatik, Mathematik und Naturwissenschaften der Hochschule für Technik, Wirtschaft und Kultur Leipzig (FH), Pag. 153-164, 2005.
• C. Bratsas, P. Bamidis, Paulo Quaresma, G. Pangalos and N. Maglaveras, Knowledge Management for Medical Computational Problem Solving: an Ontological Approach, in: M. Kon-Popovska and K. Zdravkova (eds), 2nd Balkan Conference in Informatics, Ohrid, Macedonia, Pag. 316-326, 2005.
• Luís Rato, Irene Rodrigues and Rui Gomes, Knowledge representation approach to closed loop control system - a tank system case-study, in: Joaquim Filipe, Juan Andrade-Cetto and Jean-Louis Ferrier (eds), ICINCO, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD, INSTICC Press, Pag. 113-118, 2005.
• P. Dell'Acqua, Anna Lombardi and Luís Moniz Pereira, Modelling Hybrid Control Systems with Behaviour Networks, in: J. Filipe, J.-L. Ferrier and J. A. Cetto (eds), Procs. Intelligent Control Systems and Optimization, INSTICC Press, Barcelona, Spain, Vol. 1, Pag. 98-105, 2005.
• Federico Banti, José Júlio Alferes and Antonio Brogi, Operational Semantics for DyLPs, in: A. Cardoso, Carlos Bento and G. Dias (eds), Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05), Lecture Notes in Artificial Intelligence, Springer, Vol. 3808, Pag. 43-54, 2005.
• P. Dell'Acqua and Luís Moniz Pereira, Preferential theory revision, in: Luís Moniz Pereira and Gregory Wheeler (eds), Procs. Computational Models of Scientific Reasoning and Applications (CMSRA-IV), Lisbon, Portugal, Pag. 69-84, 2005.
• Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains, in: Francisco Azevedo, Carmen Gervet and Enrico Pontelli (eds), BeyondFD'2005 workshop notes, Pag. vi + 92, 2005.
• Gregory Wheeler, Reliability and Imprecision, in: Fitelson and Sakar (eds), Proceedings of the second Austin-Berkeley Epistemology Workshop (FEW 2005), May 25-29, 2005.
• Marta Pantoquilho, Nuno Viana, R. Ferreira, João Moura Pires, A. Donati, A. Baumgartner, F. D. Marco, L. PeÒin and T. Hormigo, SEIS: A Decision Support System for Optimizing Spacecraft Operations Strategies, , Montana, USA, 2005.
• C. Bratsas, I. Hatzizisis, P. Bamidis, Paulo Quaresma and N. Maglaveras, Similarity Estimation among OWL Descriptions of Computational Cardiology Problems in a Knowledge Base, Proceedings of CinC 2005 - Computers in Cardiology, IEEE, Lyon, France, Pag. 101-104, 2005.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio and Gerd Wagner, Stable Model Theory for Extended RDF Ontologies, in: Yolanda Gil, Enrico Motta, V. Richard Benjamins and Mark A. Musen (eds), The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3729, ISBN 3-540-29754-5, Pag. 21-36, 2005.
• Paulo Quaresma, Luis Quintano, Irene Rodrigues and Pedro Salgueiro, The University of Évora approach to QA@CLEF-2004, in: C. Peters, P. Clough, J. Gonzalo, G. Jones, M. Kluck and B. Magnini (eds), Multilingual Information Access for Text, Speech and Images, Lecture Notes in Computer Science LNCS 3491, Springer, Pag. 534-543, Revised and selected papers of the 5th Workshop of the Cross-Language Evaluation Forum, CLEF, 2005.
• Federico Banti, José Júlio Alferes, Antonio Brogi and P. Hitzler, The Well Supported Semantics for Multidimensional Dynamic Logic Programs, in: Chitta Baral, Gianluigi Greco, Nicola Leone and Giorgio Terracina (eds), Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Lecture Notes in Artificial Intelligence, Springer, Vol. 3662, Pag. 356-368, 2005.
• Valéria Magalhães Pequeno and Joaquim Nunes Aparício, Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data warehouse, Proc. of the Int. Conf. on Enterprise Information Systems, USA, 2005.
• Nuno Marques, Francisco Azevedo, Carmen Morgado and Jorge Custódio, Using Octave to Introduce Programming to Technical Science Students, Proceedings of the 10th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2005), ACM, Pag. 198-202, 2005.