Papers in proceedings

• Teresa Gonçalves and Paulo Quaresma, Multilingual text classification through combination of monolingual classifiers, LOAIT'10 - 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques, Florence, Italy, Pag. 1-10, July 2010.
• Han The Anh and Luís Moniz Pereira, Proactive Intention Recognition for Home Ambient Intelligence, in: R. López-Cózar et al. (eds), Ambient Intelligence and Smart Environments, 6th Intl. Conf. Intelligent Environments (IE10), IOS Press, http://www.iospress.nl/, Vol. 8, ISBN 978-1-60750-638-6, Pag. 91-100, (url), 5th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'10) at 6th Intl. Conf. Intelligent Environments (IE10), July 2010.
• Marco Alberti, Marco Gavanelli and Evelina Lamma, Runtime Addition of Integrity Constraints in Abductive Logic Programs, in: Manuel Hermenegildo and Torsten Schaub (eds), Technical Communications of the 26th International Conference on Logic Programming, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, Vol. 7, ISBN 978-3-939897-17-0, ISSN 1868-8969, (url), July 2010.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Tight Semantics for Logic Programs, in: M. Hermenegildo and Torsten Schaub (eds), Procs. Technical Communications of 26th Intl. Conf. Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, http://drops.dagstuhl.de/portals/extern/index.php?semnr=10003, Vol. 7, ISBN 978-3-939897-17-0, ISSN 1868-8969, Pag. 134-143, (url), Extended version: http://centria.di.fct.unl.pt/~lmp/publications/online-papers/TMS.pdf, July 2010.
• Jorge Cruz, A Constraint Composition Approach for Numerical CSPs, SWIM 2010 - Third Small Workshop on Interval Methods, (url), June 2010.
• Boris Mirkin, Susana Nascimento, Trevor Fenner and Luís Moniz Pereira, A Hybrid Cluster-Lift Method for the Analysis of Research Activities, in: M. Romay, E. Corchado and M. T. Sebastian (eds), Procs. 5th Intl. Conf. on Hybrid Artificial Intelligence Systems (HAIS'10), LNAI 6076, Springer, Vol. 6076, Part I, Pag. 152-161, (url), June 2010.
• S. Costantini, P. Dell'Acqua, Luís Moniz Pereira and A. Tocchio, Ensuring Agent Properties under Arbitrary Sequences of Incoming Events, in: Marco Gavanelli and Toni Mancini (eds), RCRA-2010 Experimental evaluation of algorithms for solving problems with combinatorial explosion, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/, CEUR Workshop Proceedings, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/, Vol. 616, ISSN 1613-0073, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/agent_properties_camera.pdf, June 2010.
• Marco Alberti, P. Dell'Acqua and Luís Moniz Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verificationl, in: Marco Gavanelli and Toni Mancini (eds), RCRA-2010 Experimental evaluation of algorithms for solving problems with combinatorial explosion, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/, CEUR Workshop Proceedings, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/, Vol. 616, ISSN 1613-0073, (url), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/runtime_verification.pdf, June 2010.
• Helena Barbas, Avatar «c’est moi» – virtual geographies of the self, Geographies of the Self, Sociedade de Geografia de Lisboa, April 2010.
• Gregory Wheeler, Character Matching and the Envelope of Belief, The 84th Annual Meeting of the American Philosophical Association Pacific Division, APA, Pacific Division, University of British Columbia, (url), April 2010.