Papers in proceedings

• Bruno Silva and Nuno Marques, A Hybrid Parallel SOM Algorithm for Large Maps in Data-Mining, in: José Neves, Manuel Filipe Santos and José Machado (eds), New Trends in Artificial Intelligence, Associação Portuguesa para a Inteligência Artificial (APPIA), Guimarães. Portugal, ISBN ISBN-13 978-989-9561, (url), December 2007.
• João Alexandre Leite and Manoela Ilic, Answer-Set Programming Based Dynamic User Modeling for Recommender Systems, in: José Neves, Manuel Filipe Santos and José Machado (eds), Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007 Proceedings, Lecture Notes in Computer Science, Springer, Vol. 4874, Pag. 29-42, December 2007.
• Luís Moniz Pereira, Gödel and Computability, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), LNAI, Springer, Vol. 4874, Pag. 63-72, (url), December 2007.
• Ruben Duarte Viegas and Francisco Azevedo, GRASPER: A Framework for Graph Constraint Satisfaction Problems, in: José Neves, Manuel Filipe Santos and José Manuel Machado (eds), Proceedings of the 13th Portuguese Conference on Artificial Intelligence (EPIA 2007), LNAI, Springer, Vol. 4874, ISBN 978-3-540-77000-8, ISSN 0302-9743, Pag. 633-644, December 2007.
• Ruben Duarte Viegas and Francisco Azevedo, GRASPER: A Framework for Graph Constraint Satisfaction Problems, in: César Analide, Paulo Novais and Pedro Henriques (eds), Proceedings of the 1st Simpósio Doutoral em Inteligência Artificial, Associação Portuguesa para a Inteligência Artificial, ISBN 978-989-95618-1-6, Pag. 33-42, December 2007.
• José Carlos Almeida Santos, Pedro Barahona and Ludwig Krippahl, Mining Protein Structure Data, in: José Neves, Manuel Filipe Santos and José Machado (eds), New Trends in Artificial Intelligence, Proceddings of EPIA'07, 13th Portuguese Conference on Artificial Intelligence, Universidade do Minho, ISBN 9789899561809, Pag. 527-540, December 2007.
• Luís Moniz Pereira and Ari Saptawijaya, Modelling Morality with Prospective Logic, in: J. Maia Neves, M. F. Santos and J. M. Machado (eds), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), LNAI 4874, Springer, Guimarães, Pag. 99-111, December 2007.
• Nuno Marques, Sebastian Bader, Vitor Rocio and Steffen Hölldobler, Neuro-Symbolic Word Tagging, in: José Neves, Manuel Filipe Santos and José Machado (eds), New Trends in Artificial Intelligence, Associação Portuguesa para a Inteligência Artificial (APPIA), Guimarães. Portugal, ISBN ISBN-13 978-989-9561, (url), December 2007.
• Luís Moniz Pereira and Gonçalo Lopes, Prospective Logic Agents, in: J. Maia Neves, M. F. Santos and J. M. Machado (eds), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), LNAI 4874, Springer, Guimarães, Pag. 73-86, December 2007.
• Vitor Nogueira and Salvador Abreu, Temporal Annotations for a Contextual Logic Programming Language, in: J. Maia Neves, Manuel Santos and José Machado (eds), Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Univ. Minho, December 2007.
• Terrance Swift and David S. Warren, The XSB Logic Programming SystemDa, Association for Logic Programming Newsletter, Published under the pseudonym "The XSB Research Group, December 2007.
• Luís Moniz Pereira, Towards an Evolutionary Symbiotic Epistemology, in: J. Maia Neves, M. F. Santos and J. M. Machado (eds), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), LNAI 4874, Springer, Guimarães, December 2007.
• Matthias Knorr, José Júlio Alferes and P. Hitzler, Towards Tractable Local Closed World Reasoning for the Semantic Web, in: J. Maia Neves, M. F. Santos and J. M. Machado (eds), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence, LNAI, Springer, Guimarães, Portugal, December 2007.
• Olivier Perriquet, Marco Correia, Pedro Barahona and Ludwig Krippahl, A Low resolution Model for Protein Structure Prediction from NMR Data, in: José Neves, Manuel Filipe Santos and José Manuel Machado (eds), New Trends in Artificial Intelligence, Proceedings of EPIA'07, 13th Portuguese Conference on Artificial Intelligence, Universidade do Minho, ISBN 9789899561809, Pag. 565-576, November 2007.
• Luis Quintano and Irene Rodrigues, Clarification Dialogs: a tool for Question Answering disambiguation, EPIA, New Trends in Artificial Intelligence., Pag. 871-882, November 2007.
• José Júlio Alferes and Ricardo Amador, r3: A foundational ontology for reactive rules, in: T. Dillion, M. Missikoff and S. Staab (eds), Ontologies, DataBases, and Applications of Semantics (ODBASE'07), Lecture Notes in Computer Science, Springer, Albufeira, Portugal, Vol. 4803, Pag. 933-952, November 2007.
• Sandra Cosme and Paulo Quaresma, A Contribution to Improve the Children's Catalogue of the Public Library, Proceedings of XIII Encuentros Internationales sobre Sistemas de Información y Documentación, Zaragoza, Spain, Pag. 1-11, October 2007.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Approved Models for Normal Logic Programs, in: Nachum Dershowitz and Andrei Voronkov (eds), Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning, LPAR - LNAI, Springer, Yerevan, Armenia, (url), October 2007.
• Nuno Lopes, Cláudio Fernandes and Salvador Abreu, Contextual Logic Programming for Ontology Representation and Querying, in: Axel Polleres, D. Pearce, Edna Ruckhaus, Gopal Gupta and Stijn Heymans (eds), Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007), CEUR Workshop Proceedings, Vol. 287, ISSN 1613-0073, Pag. 27-42, (url), October 2007.
• Catalin Calistru, Cristina Ribeiro, Gabriel David, Irene Rodrigues and Gustavo Laboreiro, INESC, Porto at TRECVID 2007: Automatic and Interactive Video Search., TRECVID 2007 Papers, (url), October 2007.
• Vitor Nogueira and Salvador Abreu, Integrating Temporal Annotations in a Modular Logic Language, in: Dietmar Siepel, Michael Hanus, Armin Wolf and Joachim Baumeister (eds), 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007), Bayerische Julius-Maximilians-Universität Würzburg, Würzburg, Germany, Vol. TR 434, October 2007.
• Luís Moniz Pereira and Ari Saptawijaya, Moral Decision Making with ACORDA, in: Nachum Dershowitz and Andrei Voronkov (eds), Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), Short Papers Call - Local Procs., Yerevan, Armenia, October 2007.
• B. Mirkin, Susana Nascimento and Luís Moniz Pereira, ACM Classification Can Be Used for Representing Research Organizations, DIMACS Technical Report 2007-13, DIMACS, Rutgers University, New Jersey, U.S.A, September 2007.
• Matthias Knorr and P. Hitzler, Comparing Disjunctive Well-founded Semantics, in: P. Hitzler, T. Roth-Berghofer, and S. Rudolph (eds), FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, Vol. 277, ISSN 1613-0073, September 2007.
• Luis Almas, Rui Machado and Salvador Abreu, Design for a Parallel and Distributed Hybrid Constraint Programming Library, in: Salvador Abreu and Vitor Santos Costa (eds), Proceedings of the 7th International Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS 2007, Pag. 32-41, September 2007.
• Nuno Morgadinho and Salvador Abreu, Distributed Multi-Threading in GNU Prolog, in: Salvador Abreu and Vitor Santos Costa (eds), Proceedings of the 7th International Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS 2007, Pag. 72-86, September 2007.
• Ludwig Krippahl and Pedro Barahona, Elucidating transient protein interactions with multiple dockings, in: Rolf Backofen, Alessandro Dal Palu and Sebastian Will (eds), Proceedings of WCB07, Workshop on Constraint Based Methods for Bioinformatics, Porto, Portugal, Pag. 40-47, September 2007.
• Martin Slota and João Alexandre Leite, EVOLP - Transformation-based Implementation, in: F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 290-294, September 2007.
• Ruben Duarte Viegas and Francisco Azevedo, GRASPER: A Framework for Graph CSPs, in: Jimmy Lee and Peter Stuckey (eds), Proceedings of the 6th International Workshop on Constraint Modelling and Reformulation (ModRef'07), Online Proceedings, September 2007.
• Ludwig Krippahl, Multiple partners in weak interactions., 2nd European Conference on Chemistry for Life Sciences, Medimond, September 2007.
• Martin Slota and João Alexandre Leite, Operational Semantics for EVOLP, in: F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 118-133, September 2007.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic reasoning with continuous constraints, in: T. Simos, G. Psihoyos and Ch. Tsitouras (eds), Proceedings of the Int. Conf. on Numerical Analysis and Applied Mathematics, AIP Conference Proceedings, American Institute of Physics, Vol. 936, ISBN 978-0-7354-0447-2, ISSN 0094-243, Pag. 105 - 108, September 2007.
• Luís Moniz Pereira, P. Dell'Acqua and Gonçalo Lopes, Prospective Updating of Theories with Preferences, in: O. Pombo and A. Gerner (eds), Abduction and the Process of Scientific Discovery, Colecção Documenta, Publidisa, Pag. 65-96, September 2007.
• José Saias and Paulo Quaresma, The Senso Question Answering Approach to Portuguese QA@CLEF-2007, Proceedings of CLEF - Cross Language Evaluation Forum, Budapest, Hungary, ISSN: 1818-8044, ISBN: 2-912335-32-9, September 2007.
• R. Bordini, M. Dastani and João Alexandre Leite, Programming Languages for Multi-Agent Systems, in: Rafael H. Bordini (eds), Proceedings of the 9th European Agent System Summer School, EASSS'07, Pag. 287-319, August 2007.
• Anderson Bertoldi, Rove Chishman and Paulo Quaresma, A representação da semântica dos adjectivos em ontologias jurídicas: informação importante ou secundária?, Proceedings of TIL - 5th Workshop em Tecnologia da Informação e da Linguagem Humana, SBC - Sociedade Brasileira de Computação, Rio de Janeiro, Brasil, Pag. 1-11, July 2007.
• José Saias and Paulo Quaresma, A Proposal for a Web Information Extraction and Question-Answer System, in: Katarzyna M. Wegrzyn-Wolska and Piotr S. Szczepaniak (eds), Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC2007, Advances in Soft Computing, Springer, Fontainbleau, France, Vol. 43, ISBN 978-3-540-72574-9, June 2007.
• Matthias Knorr, José Júlio Alferes and P. Hitzler, A Well-founded Semantics for Hybrid MKNF Knowledge Bases, in: D. Calvanese, E. Franconi, V. Haarsle, D. Lembo, B. Motik and A-Y. Turhan (eds), Proceedings of 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June 2007.
• Luís Moniz Pereira and Ruben Duarte Viegas, Architecural Design via Declarative Programming, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the 9th International Conference on Enterprise Information Systems, Artificial Intelligence and Decision Support Systems, INSTICC Press, Funchal, Madeira, Portugal, Pag. 363-369, June 2007.
• Ricardo Ferreira and João Moura Pires, Extensible Metadata Repository for Information Systems and Enterprise Applications, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the Ninth International Conference on Enterprise Information Systems, INSTICC Press, Funchal, Madeira, Portugal, ISBN 9789728865887, Pag. 344-350, June 2007.
• Ricardo Raminhos and João Moura Pires, Extraction and Transformation of Data From Semi-Structured Text Files Using a Declarative Approach, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the Ninth International Conference on Enterprise Information Systems, INSTICC Press, Funchal, Madeira, Portugal, ISBN 9789728865887, Pag. 199-205, June 2007.
• Vitor Nogueira and Salvador Abreu, Modularity and Temporal Reasoning: A Logic Programming Approach, 14th International Symposium on Temporal Representation (TIME 2007), IEEE, ISBN 978-0-7695-2836-6, Pag. 191, June 2007.
• Cláudio Fernandes, Nuno Lopes and Salvador Abreu, On Querying Ontologies with Contextual Logic Programming, in: Christine Golbreich, Aditya Kalyanpur and Bijan Parsia (eds), OWL: Experiences and Directions (OWLED 2007), CEUR Workshop Proceedings ISSN 1613-0073, June 2007.
• Marco Correia and Pedro Barahona, On the integration of singleton consistency and look-ahead heuristics, in: Francois Fages, Sylvain Soliman and Francesca Rossi (eds), Proceedings of the annual ERCIM workshop on constraint solving and constraint logic programming, Rocquencourt, France, June 2007.
• José Júlio Alferes and Ricardo Amador, r3: Towards a foundational ontology for reactive rules, Proceedings of 4th European Semantic Web Conference (ESWC 2007), Springer, Innsbruck, Austria, June 2007.
• João Moura Pires and Rosa Matias, Revisiting the OLAP Interaction to Cope with Spatial Data and Non-spatial Data Analysis, in: Jorge Cardoso, José Cordeiro and Joaquim Filipe (eds), Proceedings of the Ninth International Conference on Enterprise Information Systems, INSTICC Press, Funchal, Madeira, Portugal, ISBN 9789789728865887, Pag. 157-163, June 2007.
• Isa Alves, Rove Chishman and Paulo Quaresma, The Construction of a Juridical Ontology, Proceedings of the ICAIL'07 - International Conference on Artificial Intelligence and Law, ACM, Stanford, USA, Pag. 93-94, ISBN: 978-1-59593-680-6, June 2007.
• Cássia Santos, Paulo Quaresma and Renata Vieira, Using an Extended Argumentation Framework based on Confidence Degrees for Legal Ontology Mapping, Proceedings of the Workshop on Semantic Web Technology for Law at the ICAIL'07 - International Conference on Artificial Intelligence and Law, http://www.cs.vu.nl/~mcaklein/SW4Law/, Stanford, USA, Pag. 41-46, June 2007.
• Francisco Azevedo, An Attempt to Dynamically Break Symmetries in the Social Golfers Problem, in: Francisco Azevedo, Pedro Barahona, Francois Fages and Francesca Rossi (eds), Recent Advances in Constraints, LNAI, Springer, Vol. 4651, Pag. 33-47, May 2007.
• Cássia Santos, Paulo Quaresma and Renata Vieira, An extended value-based argumentation framework for ontology mapping with confidence degrees, Proceedings of ArgMAS- 4th Workshop on Argumentation in Multi-Agent Systems, Honolulu, Hawaii, USA, Pag. 1-13, May 2007.
• Iara Almeida and José Júlio Alferes, Argumentation-based Proof for an Argument in a Paraconsistent Setting, in: G. Simari and P. Torroni (eds), Proceedings of Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR'07), Online Proceedings, Tempe, Arizona, USA, Pag. 64-79, May 2007.
• R. Bordini, M. Dastani, João Alexandre Leite and M. Winikoff, Programming Languages and Development Tools for Multi-Agent Systems, in: Jaime S. Sichman (eds), Tutorial Notes, 6th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'07, Pag. 1-54, May 2007.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Reductio ad Absurdum Argumentation in Normal Logic Programs, in: Chitta Baral, G. Brewka and John S. Schlipf (eds), Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR, Springer, Tempe, AZ, USA, ISBN 978-3-540-72199-4, Pag. 96-113, (url), May 2007.
• Luís Moniz Pereira, Logic Programming in Wikipedia: Call for Help or Call to Arms?, in: Enrico Pontelli (eds), The Association for Logic Programming Newsletter, Online Proceedings, Vol. 20, n.1, (url), March 2007.
• Rui Gamito, Luís Arriaga da Cunha and Salvador Abreu, Modelação de Workflows com UML e Ferramentas Declarativas, in: José Carlos Ramalho, João Correia Lopes and Luís Carriço (eds), XATA2007 - XML: Aplicações e Tecnologias Associadas (FCUL, Lisboa, 15 e 16 de Fevereiro de 2007), Universidade do Minho, ISBN 978-972-99166-4-9, http://hdl.handle.net/1822/6234, February 2007.
• Pedro Barahona and Ludwig Krippahl, A Constraint Programming Approach for Structural Bioinformatics Problems, in: Michael Hanus (eds), 9th International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Springer, Nice, France, Vol. 4354, ISBN 978-3-540-69608-7, ISSN 0302-9743, Pag. 33 - 49, January 2007.
• Vivek Nigam and João Alexandre Leite, A Dynamic Logic Programming Based System for Agents with Declarative Goals, in: Matteo Baldoni and Ulle Endriss (eds), Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT, Selected, Revised and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 4327, Pag. 174-190, January 2007.
• João Alexandre Leite and Luís Soares, Adding Evolving Abilities to a Multi-Agent System, in: Katsumi Inoue, Ken Satoh and Francesca Toni (eds), Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Revised Selected and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 4371, Pag. 246-265, January 2007.
• Vivek Nigam and João Alexandre Leite, Adding Knowledge Updates to 3APL, in: Rafael H. Bordini, Mehdi Dastani, Juergen Dix and Amal El Fallah-Seghrouchni (eds), Programming Multi-Agent Systems, 4th International Workshop, ProMAS, Revised and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 4411, Pag. 165-181, January 2007.
• Francisco Azevedo and Hau Nguyen Van, Symmetry Breaking and Extra Constraints for the Social Golfers Problem, in: Ian Gent and Steve Linton (eds), Proceedings of the International Symmetry Conference, Pag. 6 pages, January 2007.
• S. Costantini, P. Dell'Acqua and A. Tocchio, Expressing preferences declaratively in logic-based agent languages, in: E. Amir, V. Lifschitz and R. Miller (eds), 8th International Symposium on Logical Formalizations of Commonsense Reasoning - Commonsense 2007, AAAI Spring Symposium Series, Stanford University, CA, USA, AAAI, (url), 2007.
• Marco Castellani and Nuno Marques, Neural Network Classifier Design Using the Evolutionary ANNE Algorithm, in: José Neves, Manuel Filipe Santos and José Machado (eds), New Trends in Artificial Intelligence, Associação Portuguesa para a Inteligência Artificial (APPIA), Guimarães. Portugal, ISBN ISBN-13 978-989-9561, 2007.
• Luís Moniz Pereira, Gonçalo Lopes and P. Dell'Acqua, Pre and Post Preferences over Abductive Models, in: J. Delgrande and W. Kießling (eds), Multidisciplinary Workshop on Advances in Preference Handling (M-Pref'07) at 33rd Intl. Conf. on Very Large Data Bases (VLDB'07), VLDB, (url), 2007.
• Anja Johansson and P. Dell'Acqua, Realistic Virtual Characters in Treatments for Psychological Disorders - An Extensive Agent Architecture, in: Stephen Seipel (eds), SIGRAD 2007, Linköping University Electronic Press, (url), 2007.
• S. Costantini, P. Dell'Acqua, Luís Moniz Pereira and F. Toni, Towards a Model of Evolving Agents for Ambient Intelligence, in: F. Sadri and K. Stathis (eds), Procs. Symposium on Artificial Societies for Ambient Intelligence (ASAmI'07), AISB Convention, (url), 2007.
• Gregory Wheeler, Two puzzles concerning measures of uncertainty and the positive Boolean connectives, in: José Neves, Manuel Santos and José Machado (eds), Progress in Artificial Intelligence (EPIA 2007), LNAI, Springer, Berlin, Pag. 170-180, 2007.