Papers in proceedings

• Paulo André and Salvador Abreu, Producing EAM code from the WAM, Proceedings of InForum 2010, Universidade do Minho, 2010.
• Choh Man Teng and Gregory Wheeler, Robustness of Evidential Probability, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16), (Short paper), (url), 2010.
• Marco Alberti, Marco Gavanelli and Evelina Lamma, Runtime Addition of Integrity Constraints in {SCIFF, in: Wolfgang Faber and Nicola Leone (eds), Proceedings of the 25th Italian Conference on Computational Logic, CEUR workshop proceedings, Vol. 598, 2010.
• Gonçalo Fontes and Salvador Abreu, WAACT - Widget Augmentative and Alternative Communication Toolkit, Proceedings of InForum 2010, Universidade do Minho, 2010.