Papers in proceedings

• Paolo Torroni, Marco Prandini, Marco Ramilli, João Alexandre Leite and João Martins, Arguments against the Troll (position paper), in: Massimiliano Giacomin, Guido Boella and Fabio Paglieri (eds), Proceedings of the 1st Workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives, AI*IA, 2010.
• Marco Carvalho and Choh Man Teng, Automatic discovery of attack messages and pre- and post-conditions for attack graph generation, Proceedings of the Fifth International Conference on Information-Warfare and Security, Pag. 378-387, 2010.
• Verónica Dahl, Pedro Barahona, Gemma Bel Enguix and Ludwig Krippahl, Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes, ICAART (2), Pag. 388-394, 2010.
• Luís Alexandre, Caderno escolar electrónico adaptativo - resultados preliminares, Proceedings of Interacção 2010 - 4a. Conferência Nacional Interacção Humano-Computador, Univ. de Aveiro, 2010.
• Paulo André and Salvador Abreu, Casting of the WAM as an EAM, Proceedings of CICLOPS-WLPE 2010, CoRR, (url), 2010.
• Luís Alexandre and Salvador Abreu, Development of an Adaptive Interface for the Electronic School Notebook, Proceedings of InForum 2010, Universidade do Minho, 2010.
• Vasco Pedro and Salvador Abreu, Distributed work stealing for constraint solving, Proceedings of CICLOPS-WLPE 2010, CoRR, (url), 2010.
• Francisco Azevedo and João Gomes-Mota, Electrical grid modelling for overhead maintenance cycle optimisation, in: Tarik Hadzic and Radu Marinescu (eds), Proceedings of the 1st Workshop on Constraint Reasoning and Graphical Structures (CRaGS 2010), Pag. 75-82, 2010.
• Jesse Alama, Euler's polyhedron formula in Mizar, in: Fukada, K. (eds), Mathematical Software - ICMS 2010, Lecture Notes in Computer Science, Springer, Vol. 6327, Pag. 144-147, 2010.
• Flávio L. Pinheiro, Francisco C. Santos and Jorge M. Pacheco and, Evolutionary Dynamics of Cooperation Under the Distributed Prisoner's Dilemma, forthcoming in Proceedings of BIONETICS 2010, 2010.