Papers in proceedings

• Ana Aires, Jorge Coelho, Sandra Collovini, Paulo Quaresma and Renata Vieira, Avaliação de Centering em Resolução Pronominal da Língua Portuguesa, 5th International Workshop on Linguistically Interpreted Corpora of the Iberamia'2004, Puebla, México, Pag. 1-8, November 2004.
• Federico Banti, José Júlio Alferes and Antonio Brogi, From logic programs updates to action description updates, in: G. Rossi and E. Panegai (eds), Proceedings of CILC'04 - Italian Conference on Computational Logic, ISBN 1-55860-262-3, November 2004.
• Luiz Pizzato, Paulo Quaresma and Vera Lima, Intrinsic and Extrinsic Evaluation of Thesaurus-Based Query Expansion Technique, 2004 IEEE/WIC/ACM International Conference on Web Intelligence (demo and poster), Beijing, China, September 2004.
• Vitor Nogueira, Salvador Abreu and G. David, Temporal reasoning in Cnstraint Contextual Logic Programming, in: P. Hofstedt (eds), Proceedings of the 3rd International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL'04), TU Berlin, Pag. 119-131, September 2004.
• Ch. Bratsas, Paulo Quaresma, G. Pangalos and N. Maglaveras, Using ontologies to build a knowledge base of cardiology problems and algorithms, CinC - 31st annual meeting of Computers in Cardiology, IEEE, Chicago, USA, Vol. 31, Pag. 609-612, September 2004.
• Cassiana Silva, Renata Vieira, Fernando Osório and Paulo Quaresma, Mining Linguistically Interpreted Texts, 5th International Workshop on Linguistically Interpreted Corpora of the Computational Linguistic International Conference (COLING'2004), Coling, Geneve, Switzerland, Pag. 1-4, August 2004.
• Salvador Abreu, D. Diaz and Vitor Nogueira, GNU Prolog for Application Development, V RMLL/LSM - Libre Software Meeting, University of Bordeaux I, Invited paper, July 2004.
• Carlos Viegas Damásio and Luís Moniz Pereira, Sorted Monotonic Logic Programs and their embeddings, Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04), Special Session on Logic Programming with Imperfect Information, Perugia, Italy, Pag. 807-814, July 2004.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, Termination Results for Sorted Multi-Adjoint Logic Programs, Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04), Perugia, Italy, Pag. 1879-1886, July 2004.
• Ch. Bratsas, N. Maglaveras and Paulo Quaresma, A framework to describe problems and algorithms in medical informatics via ontologies, 4th European Symposium on Biomedical Engineering, University of Patras, Patras, Greece, Pag. 1-4, June 2004.
• Aida Vitória, Carlos Viegas Damásio and Jan Maluszynski, Towards Rough Knowledge Bases with Quantitative Measures, in: S. Tsumoto S., R. Slowinski, J. Komorowski and J. W. Grzymala-Busse (eds), Fourth International Conference on Rough Sets and Current Trends in Computing 2004 (RSCTC'2004), Lecture Notes in Computer Science, Springer, Uppsala, Sweden, Pag. 153-158, June 2004.
• Teresa Gonçalves and Paulo Quaresma, Using IR techniques to improve Automated Text Classification, in: Farid Meziane and Elisabeth Metais (eds), Natural Language Processing and Information Systems, Lecture Notes on Computer Science 3136, Springer, Salford, UK, Pag. 374-379, June 2004.
• Nuno Marques and Sergio Gonçalves, Applying a Part-of-Speech Tagger to Postal Address Detection on the Web, Proceedings of the IV International Conference on Language Resources and Evaluation, Lisboa, Portugal, Pag. 287-290, May 2004.
• Teresa Gonçalves and Paulo Quaresma, The impact of NLP techniques in the multilabel classification problem, in: Mieczyslaw A Klopotek, Slawomir T. Weirzchon and Krzysztof Trojanowski (eds), Intelligent Information Processing and Web Mining 2004, Advances in Soft Computing, Springer, Zakopane, Poland, Pag. 424-428, May 2004.
• João Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira, A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets, in: Ramon López de Mántaras and Lorenza Saitta (eds), Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, IOS Press, ISBN 1-58603-452-9, Pag. 951-952, 2004.
• Salvador Abreu, Paulo Quaresma, Luis Quintano and Irene Rodrigues, A dialogue manager for accessing databases, in: Yasushi Kiyoki, Eiji Kawaguchi, Hannu Jaakola and Hannu Kangassalo (eds), Information Modelling and Knowledge Bases XV, IOS Press, Amsterdam, Netherlands, Vol. 105, Pag. 210-219, 2004.
• Gregory Wheeler, A Resource Bounded Default Logic, in: James Delgrande and Torsten Schaub (eds), NMR 2004, Pag. 416-422, 2004.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, A Tabulation Proof Procedure for Residuated Logic Programming, in: Ramon López de Mántaras and Lorenza Saitta (eds), Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, IOS Press, ISBN 1-58603-452-9, Pag. 808-812, 2004.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, A termination theorem for sorted multi-adjoint logic programs, in: José Júlio Alferes and João Alexandre Leite (eds), XII Congreso Español sobre Tecnologías y Lógica Fuzzy, 2004.
• A. Monteiro and Luís Moniz Pereira, A Updating Legal Documents - the case of phytosanitary protection of vegetables, Intl.Conf. on Knowledge Engineering and Decision Support (ICKEDS'04), Porto, Portugal, July 21-23, 2004, Proceedings, IKEDS, 2004.
• J. F. Castro and Luís Moniz Pereira, Abductive Validation of a Power-Grid Expert System Diagnoser, 17th Intl.Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE'04), Proceedings, IPMU, Ottawa, Canada, 2004.
• Gregory Wheeler and Carlos Viegas Damásio, An implementation of Statistical Default Logic, in: José Júlio Alferes and João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 121-133, 2004.
• Gregory Wheeler and Luís Moniz Pereira, Chrisholm, Naturalism, and the Role of Logic in Epistemology, IIº Encontro Nacional de Filosofia Analítica (ENFA-2), U. Porto, Portugal, October 7-9, 2004, Proceedings, Sociedade Portuguesa de Filosofia Analítica, 2004.
• Salvador Abreu and D. Diaz, Contexts for organizational information system design and implementation, ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Pag. 227-232, 2004.
• José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio and Terrance Swift, Deductive Diagnosis of Digital Circuits, In First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), Kluwer Academic Press, Pag. 155-165, 2004.
• José Júlio Alferes, Federico Banti and Antonio Brogi, From logic programs updates to action description updates, in: João Alexandre Leite and Paolo Torroni (eds), Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Pre-Proceedings, Lisbon, Portugal, ISBN 972-9119-37-6, 2004.
• Nuno Viana, João Moura Pires and A. Donati, Handling heterogeneous real-time and historical Space Weather and Spacecraft data in the SEIS project, FESWW - First European Space Weather Week, 2004.
• Miguel Calejo, InterProlog: towards a declarative embedding of logic programming in Java, in: José Júlio Alferes and João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 714-717, 2004.
• Marco Correia and Pedro Barahona, Machine Learned Heuristics to Improve Constraint Satisfaction, in: Ana L. C. Balzan and Sofiane Labidi (eds), 17th Brazilian Symposium on Artificial Intelligence, SBIA'04 (Procs.), Lecture Notes in Computer Science, Springer, Vol. 3171, Pag. 103-113, 2004.
• João Alexandre Leite, On Some Differences Between Semantics of Logic Program Updates, in: Christian Lemaître, Carlos A. Reyes and Jesús A. González (eds), Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3315, ISBN 3-540-23806-9, Pag. 375-385, (url), 2004.
• Marta Pantoquilho, J. Neto, Nuno Viana, R. Ribeiro and João Moura Pires, Online and Offline Monitoring and Diagnosis of Spacecraft and Space Weather Status, EUROFUSE Workshop on Data and Knowledge Engineering, 2004.
• Salvador Abreu, D. Diaz and Vitor Nogueira, Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming, in: Viljan Mahnic (eds), EUNIS 2004 - Proceedings of the 10th International Conference of European University Information Systems, University of Llubljana, 2004.
• Marta Pantoquilho, J. Neto, João Moura Pires and A. Donati, Real Time Monitoring of Space Weather and Spacecraft Conditions for Early Anomaly Detection within the SEIS system, FESWW - First European Space Weather Week, 2004.
• João Moura Pires, Marta Pantoquilho and Nuno Viana, Real-Time Decision Support System for Space Missions Control, The International Conference on Information and Knowledge Engineering, 2004.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Revised Stable Models - a new semantics for logic programs, in: Dipartimento di Matematica (eds), Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings, Univ. Parma, Invited paper, 2004.
• José Júlio Alferes, Federico Banti, Antonio Brogi and João Alexandre Leite, Semantics for Dynamic Logic Programming: A Principle-Based Approach, in: Vladimir Lifschitz and Ilkka Niemelä (eds), Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2923, ISBN 3-540-20721-X, Pag. 8-20, (url), 2004.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, Sorted Multi-adjoint Logic Programs: Termination Results and Applications, in: João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 121-133, 2004.
• I. Dorotovic, Marta Pantoquilho, Nuno Viana and João Moura Pires, Space Environment Information System for Mission Control Purposes - a Decision Support System based on an architecture for space weather services, 17th National Solar Physics Meeting, 2004.
• João Moura Pires, Marta Pantoquilho and Nuno Viana, Space Environment Information System for Mission Control Purposes: Real-Time Monitoring and Inference of Space Craft Status, IEEE Conference on Control Applications, 2004.
• A. Donati, F. D. Marco, Nuno Viana, Marta Pantoquilho, A. Baumgartner and João Moura Pires, Space Weather and Mission Control: A Roadmap to an Operational Multi-Mission Decision Support System, Eight International Conference on Space Operations (SpaceOps 2004), 2004.
• Wolfgang May, José Júlio Alferes and François Bry, Towards Generic Query, Update, and Event Languages for the Semantic Web, in: H. J. Ohlbach and S. Schaffert (eds), Principles and Practice of Semantic Web Reasoning, Lecture Notes in Computer Science, Springer, Vol. 3208, Pag. 19-33, 2004.
• P. Dell'Acqua, Weighted Multi Dimensional Logic Programming, in: Juergen Dix and João Alexandre Leite (eds), 4th Int. Workshop on Computational Logic in Multi-Agent Systems (Clima IV), LNAI 3259, Springer, Berlin, Pag. 178-200, 2004.
• Federico Banti, José Júlio Alferes and Antonio Brogi, Well Founded Semantics for Logic Program Updates, in: Christian Lemaître, Carlos A. Reyes and Jesús A. González (eds), Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3315, ISBN 3-540-23806-9, Pag. 397-407, 2004.
• J. Simão and Luís Moniz Pereira, What's Cool? Modelling Fashion-like Collective Behavior Emergence from Individual Neuro-psychological Conditioning, in: H.Coelho and B. Espinasse (eds), 5th Workshop on Agent-Based Simulation (ABS-2004) Proceedings, SCS - Society for Modeling and Simulation International, Lisbon, Portugal, 2004.