Papers in proceedings

• 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.