Papers in proceedings

• Vitor Nogueira and Salvador Abreu, Temporal Contextual Logic Programming, in: Francisco J. López Fraguas (eds), Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06), Electronic Notes in Theoretical Computer Science, Madrid, Spain, November 2006.
• Armando Fernandes and Susana Nascimento, Automatic water eddy detection in SST maps using random ellipse fitting and vectorial fields for image segmentation, in: Nada Lavrac, L. Todorovski and Klaus Jantke (eds), Discovery Science, Proceedings, Lecture Notes in Artificial Intelligence (LNAI), Springer, Barcelona, Spain, Vol. 4265, Pag. 65-76, October 2006.
• Luís Moniz Pereira, Evolutionary Psychology and the Unity of Sciences - Towards an evolutionary epistemology, Invited talk at First Lisbon Colloquium for the Philosophy of Science - The Unity of Science: Non Traditional Approaches, Lisbon, Portugal, October 2006.
• P. Dell'Acqua, Anna Lombardi and Luís Moniz Pereira, A Logic-Based Approach to Model Supervisory Control Systems, Proceedings in the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'06), LNAI, Springer, Bari, Italy, September 2006.
• Ludwig Krippahl and Pedro Barahona, Chemera: Constraints in Protein Structural Problems, in: Alessandro Dal Palu, Agostino Dovier and Sebastian Will (eds), Proceedings of WCB06, Workshop on Constraint Based Methods for Bioinformatics, Nantes, France, Pag. 30-45, September 2006.
• Gonçalo Lopes and Luís Moniz Pereira, Prospective Programming with ACORDA, Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06), Seattle, USA, August 21 2006.
• Helena Barbas and Nuno Correia, Documenting InStory - Mobile Storytelling in a Cultural Heritage Environment, in: Luciana Bordon, Massimo Zancanaro and Antonio Krueger (eds), First European Workshop on Intelligent Technologies for Cultural Heritage Exploitation, ITC-Irst, Trento, Italy, Vol. 1, Pag. 6-12, August 2006.
• P. Dell'Acqua, Anna Lombardi and Luís Moniz Pereira, Modelling adaptive controllers with evolving logic programs, Procs. of subarea Intelligent Control Systems and Optimization, 3rd Int.Conf. on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 2006.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, A tabulation procedure for first-order residuated logic programs, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), Editions E.D.K., Paris, France, ISBN 2-84254-112-x, Pag. 476-483, July 2006.
• Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations, Proceedings of the IEEE Congress on Computational Intelligence (section Fuzzy Systems), IEEE, Vancouver, Canada, Pag. 9576-9583, July 2006.
• Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou and Gerd Wagner, Open and Closed World Reasoning in the Semantic Web, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), special session Works on the Semantic Web, Editions E.D.K., Paris, France, ISBN 2-84254-112-x, Pag. 1850-1857, Participaçãoo por convite e sujeita a avaliação, July 2006.
• Rui Dias Jorge and Carlos Viegas Damásio, Diagnosis of Power System Protection, in: Moonis Ali and Richard Dapoigny (eds), Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Proceedings, Lecture Notes in Computer Science, Springer, Annecy, France, Vol. 4031, ISBN 3-540-35453-0, Pag. 650-659, (url), Nomeado para a competição dos melhores artigos, June 2006.
• P. Santana and Luís Moniz Pereira, Emergence of cooperation through mutual preference revision, in: M. Ali and D. Richard (eds), Procs. The 19th Intl.Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE'06), LNAI, Springer, Annecy, France, June 2006.
• Marco Correia and Pedro Barahona, Overview of an Open Constraint Library, in: Francisco Azevedo, Pedro Barahona, F. Fages and F. Rossi (eds), Proceedings CSCLP 2006, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, Caparica, Portugal, Pag. 159-168, June 2006.
• Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou and Gerd Wagner, Supporting Open and Closed World Reasoning on the Web, in: José Júlio Alferes, J. Bailey and U. Schwertel (eds), Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Revised Selected Papers, Lecture Notes in Computer Science, Springer, Budva, Montenegro, Vol. 4187, ISBN 978-3-540-39586-, Pag. 149-163, (url), June 2006.
• Luís Moniz Pereira, Prospective Updating of Theories with Preferences, Invited talk at International Meeting on Abduction and the Process of Scientific Discovery, Museu de Ciência da Universidade de Lisboa, Lisbon, Portugal, May 5 2006.
• R. Bordini, M. Dastani, João Alexandre Leite and M. Winikoff, Programming Languages and Development Tools for Multi-Agent Systems, in: Y. Lesperance (eds), Tutorial Notes, 5th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'06, May 2006.
• Nuno Viana and João Moura Pires, A XML Data Dictionary and Document Representation Framework for Binary File Structure Description, XATA 2006, XML: Aplicações e Tecnologias Associadas, Portalegre, February 2006.
• Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl and Daniel Olmedilla, A Distributed Tabling Algorithm for Rule Based Policy Systems, POLICY'06: Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06), IEEE, London, Ontario, Canadá, ISBN 0-7695-2598-9, Pag. 123-132, (url), 2006.
• Paulo Quaresma and Irene Rodrigues, A Logic Programming Based Approach to QA@CLEF05 Track, CLEF, Pag. 351-360, (url), 2006.
• Cássia Trojahn dos Santos, Paulo Quaresma, Irene Rodrigues and Renata Vieira, A Multi-agent Approach to Question Answering, PROPOR, Pag. 131-139, (url), 2006.
• Cássia Trojahn dos Santos, Márcia Cristina Moraes, Paulo Quaresma and Renata Vieira, A Negotiation Model for Ontology Mapping, IAT, Pag. 762-768, (url), 2006.
• José Saias and Paulo Quaresma, A proposal for an ontology supported news reader and question-answer system, in: Solange Oliveira Rezende and Antonio Carlos Roque da Silva Filho (eds), 2nd Workshop on Ontologies and their Applications (WONTO'06) in the Proceedings of International Joint Conference, 10th Ibero-American Artificial Intelligence Conference, 18th Brazilian Artificial Intelligence Symposium, 9th Brazilian Neural Networks Symp, ICMC-USP, ISBN 85-87837-11-7, Pag. 1-12, 2006.
• Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos and Umberto Straccia, An Approach to Representing Uncertainty Rules in RuleML, RuleML, Pag. 97-106, (url), 2006.
• Iara Almeida and José Júlio Alferes, An Argumentation-Based Negotiation for Distributed Extended Logic Programs, in: Katsumi Inoue, Ken Satoh and Francesca Toni (eds), Computational Logic in Multi-Agent Systems, Revised Selected and Invited Papers of CLIMA VII, Lecture Notes in Aritificial Intelligence, Springer, Vol. 4371, Pag. 191-210, 2006.
• Iara Almeida and José Júlio Alferes, An Argumentation-Based Negotiation for Distributed Extended Logic Programs, in: K. Inoue, K. Satoh and F. Toni (eds), Pre-proceedings of the 7th International Workshop CLIMA VII, Future University, Hakodate, Japan, 2006.
• Francisco Azevedo, An Attempt to Dynamically Break Symmetries in the Social Golfers Problem, in: Francisco Azevedo (eds), 11th Annual ERCIM Workshop on Constraint Programming (CSCLP'2006), Pag. 101-115, 2006.
• José Júlio Alferes, Federico Banti and Antonio Brogi, An ECA Logic Programming Language, in: F. Esposito, D. Malerba, G. Semeraro (eds), Convegno Italiano di Logica Computazionale, CILC 2006, Università di Bari, 2006.
• Teresa Gonçalves, Cassiana Silva, Paulo Quaresma and Renata Vieira, Analysing Part-of-Speech for Portuguese Text Classification, CICLing, Pag. 551-562, (url), 2006.
• João Alexandre Leite and M. Babini, Dynamic Knowledge Based User Modeling for Recommender Systems, in: A. Felfernig and M. Zanker (eds), Procs of the ECAI 2006 Workshop on Recommender Systems, Riva del Garda, Italy, Pag. 134-138, 2006.
• João Alexandre Leite and L. Soares, Enhancing a Multi-Agent System with Evolving Logic Programs, in: K. Inoue, K. Satoh and F. Toni (eds), Pre-Procs. of the 7th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA VII), Hakodate, Japan, Pag. 207-222, 2006.
• José Júlio Alferes, Federico Banti and Antonio Brogi, ERA: An Event-Condition-Action Logic Programming Language, in: Michael Fisher, Wiebe van der Hoek, Boris Konev and Alexei Lisitsa (eds), Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Lecture Notes in Computer Science, Springer, Vol. 4187, Pag. 29-42, 2006.
• João Alexandre Leite and L. Soares, Evolving Characters in Role Playing Games, in: R. Trappl (eds), Cybernetics and Systems, Proceedings of the 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), Austrian Society for Cybernetic Studies, Pag. 515–520, 2006.
• Francisco Azevedo and Hau Nguyen Van, Extra Constraints for the Social Golfers Problem, 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006) Short Papers Proceedings, 2006.
• Ana Luísa Leal, Paulo Quaresma and Rove Chishman, From Syntactical Analysis to Textual Segmentation, PROPOR, Pag. 252-255, 2006.
• José Júlio Alferes and Gaston Tagni, Implementation of a Complex Event Engine for the Web, in: Ling Liu and Opher Etzion (eds), Event-Driven Architecture, Processing and Systems, IEEE Services Computing Workshops, IEEE, Pag. 65-72, 2006.
• V. Nigam and João Alexandre Leite, Incorporating Knowledge Updates in 3APL - preliminary report, in: R. Bordini, M. Dastani, Juergen Dix and A. El F. Seghrouchni (eds), Pre-Procs. of the 4th International Workshop on Programming Multi-Agent Systems, (PROMAS’06), Hakodate, Japan, Pag. 69-84, 2006.
• Ludwig Krippahl, Integrating Web Resources to Model Protein Structure and Function, in: Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze and Ulrike Sattler (eds), Lecture Notes in Computer Science, Springer, Vol. 4126, Pag. 184-196, 2006.
• Charalampos Bratsas, Evabgelos Kaimakamis, Panagiotis Bamidis, Paulo Quaresma and Nicos Maglaveras, Semi Automatic Ontology Based Knowledge Extractions and Search for MEdical Algorithms from Web Documents, in: Gunther Eysenback (eds), Proceedings of MedNet - 11th World Congress on the Internet in Medicine, Toronto, Canada, Pag. 25-25, 2006.
• Salvador Abreu and Vitor Nogueira, Towards Structured Contexts and Modules, in: Sandro Etalle and Miroslaw Truszczynski (eds), Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 4079, ISBN 3-540-36635-0, Pag. 436-438, 2006.
• Vitor Nogueira and Salvador Abreu, Towards Temporal Contextual Logic Programming, in: Sandro Etalle and Miroslaw Truszczynski (eds), Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 4079, ISBN 3-540-36635-0, Pag. 439-441, 2006.
• Luis Quintano and Irene Rodrigues, Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language, ICLP, Pag. 406-420, (url), 2006.
• Cássia Trojahn, Márcia Moraes, Paulo Quaresma and Renata Vieira, Using Cooperative Agent Negotiation for Ontology Mapping, in: Andrea Omicini, Barbara Dunin-Keplicz and Julian Padget (eds), Proceedings of the 4th European Workshop on Multi-Agent Systems, Lisbon, Portugal, Faculdade de Ciências da Universidade de Lisboa, Pag. 14-15, 2006.
• V. Nigam and João Alexandre Leite, Using Dynamic Logic Programming to Obtain Agents with Declarative Goals - preliminary report, in: M. Baldoni and U. Endriss (eds), Pre-Procs. of the 4th International Workshop on Declarative Agent Languages and Technologies, (DALT’06), Hakodate, Japan, Pag. 114-129, 2006.