Papers in proceedings

• Han The Anh and Luís Moniz Pereira, Anytime Intention Recognition via Incremental Bayesian Network Reconstruction, in: AAAI (eds), 2010 AAAI Fall Symposium, AAAI Fall Symposium Series, AAAI, http://www.aaai.org/home.html, Vol. http://www.aaai.org/ocs/index.php/FSS/FSS10/schedConf/presentati, Pag. 20-25, (url), Proactive Assistant Agents (PAA 2010) workshop at AAAI Fall Symposium http://www.cs.cmu.edu/afs/cs/project/ita-proj-10/www/pia-2010/about/about.html, November 2010.
• M. Gaspar, Teresa Gonçalves and Paulo Quaresma, Classificação de textos com métodos de núcleo para grafos, in: ECT - Universidade de Évora (eds), JIUE'2010 - Jornadas de Informática da Universidade de Évora, Évora, PT, (url), November 2010.
• Han The Anh and Luís Moniz Pereira, Collective Intention Recognition and Elder Care, in: AAAI (eds), 2010 AAAI Fall Symposium, AAAI Fall Symposium Series, AAAI, http://www.aaai.org/home.html, Vol. http://www.aaai.org/ocs/index.php/FSS/FSS10/schedConf/presentati, Pag. 26-31, (url), Proactive Assistant Agents (PAA 2010) workshop at AAAI Fall Symposium http://www.cs.cmu.edu/afs/cs/project/ita-proj-10/www/pia-2010/about/about.html, November 2010.
• Carlos Viegas Damásio, José Júlio Alferes and João Alexandre Leite, Declarative Semantics for the Rule Interchange Format Production Rule Dialect, International Semantic Web Conference (ISWC 2010), Lecture Notes in Computer Science, Springer, Shangai, China, Vol. 6496, ISBN 978-3-642-17745-3, Pag. 798-813, November 2010.
• N. Miranda, R. Raminhos, P. Seabra, and T. Gon{\c c}alves, J. Saias and Paulo Quaresma, Extracção de informação aplicada ao domínio do Turismo, in: ECT - Universidade de Évora (eds), JIUE'2010 - Jornadas de Informática da Universidade de Évora, Évora, PT, (url), November 2010.
• N. Miranda, R. Raminhos, P. Seabra, J. Sequeira, T. Gon{\c c}alves and Paulo Quaresma, Reconhecimento de Entidades Nomeadas com SVM, in: ECT - Universidade de Évora (eds), JIUE'2010 - Jornadas de Informática da Universidade de Évora, Évora, PT, \href{http://www.di.uevora.pt/~tcg/papers/tcg10d-reconhecimento.pdf}{\sc{pdf, November 2010.
• Bruno Silva and Nuno Marques, Feature Clustering with Self-Organizing Maps and an Application to Financial Time-Series Portfolio Selection, Proceedings of ICNC 2010 - International Conference on Neural Computation., (url), October 2010.
• Boris Mirkin, Susana Nascimento, Trevor Fenner and Luís Moniz Pereira, Constructing and Mapping Fuzzy Thematic Clusters to Higher Ranks in a Taxonomy, in: Y. Bi and M.A. Williams (eds), Procs. 4th Intl. Conf. on Knowledge Science, Engineering & Management (KSEM 2010), LNAI, Springer, Pag. 329-340, (url), September 2010.
• Carlos Viegas Damásio, Anastasia Analyti and Grigoris Antoniou, Embeddings of Simple Modular Extended RDF, in: P. Hitzler and T. Lukasiewicz (eds), Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010., Lecture Notes in Computer Science, Springer, Vol. 6333, ISBN 978-3-642-15917-6, Pag. 204-212, Short paper., September 2010.
• S. Costantini, P. Dell'Acqua, Luís Moniz Pereira and Francesca Toni, Learning and Evolving Agents in User Monitoring and Training, in: Paola Inverardi et al. (eds), Congresso Nazionale - AICA 2010, Congresso Nazionale - AICA, Associazione Italiana per l’Informatica ed il Calcolo Automatico - AICA, http://www.aicanet.it/, (url), September 2010.
• Nuno Marques, Maximus-AI: Using Elman Neural Networks for Implementing a SLMR Trading Strategy, in: Yaxin Bi and Mary-Anne Williams (eds), Proceedings of the 4th International Conference on Knowledge Science, Engineering and Management, LNCS, Springer, Vol. 6291, (url), September 2010.
• João Laranjinho and I Rodrigues, O impacto de diferentes fontes de conhecimento na marcação de Nomes Próprios em Português., Proceddings of inforum 2010, Univ. Minho, September 2010.
• Nuno Marques and Han The Anh, Towards Encoding Background Knowledge with Temporal Extent into Neural Networks, in: Yaxin Bi and Mary-Anne Williams and (eds), Proceedings of the 4th International Conference on Knowledge Science, Engineering and Management, LNCS, Springer, Vol. 6291, (url), September 2010.
• Nuno Marques and Carlos Gomes, Implementing an Intelligent Moving Average with a Neural Network, in: Hélder Coelho, R. Studer and Michael Wooldridge (eds), Proceedings of the 19th European Conference on Artificial Intelligence, IOS Press, (url), August 2010.
• Carlos Viegas Damásio, Anastasia Analyti and Grigoris Antoniou, Implementing Simple Modular ERDF ontologies, in: Hélder Coelho, Rudi Struder and Michael Wooldridge (eds), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), IOS Press, Lisbon, Portugal, ISBN 978-1-60750-605-8, Pag. 1083-1084, Short paper, August 2010.
• Matthias Knorr and José Júlio Alferes, Querying in EL+ with Nonmonotonic Rules, in: Hélder Coelho, Rudi Studer and Michael Wooldridge (eds), ECAI 2010 - 19th European Conference on Artificial Intelligence, IOS Press, August 2010.
• J. F. Castro, Sub-Rationality and Cognitive Driven Cooperation, Proceedings of the 3rd International Workshop on Evolutionary and Reinforcement Learning for Autonomous Robot Systems, ISSN ISSN 2190-5576, August 2010.
• Nuno Marques and Bruno Silva, Ubiquitous Data-Mining with Self-Organizing Maps, in: J. Gama, M. F. Santos, Nuno Marques and Paulo Cortez (eds), Proceedings of the Ubiquitous Data Mining Workshop, ECAI 2010, IOS Press, (url), August 2010.
• Luís Moniz Pereira and Alexandre Miguel Pinto, Inductive Tight Semantics for Logic Programs, in: http://dtai.cs.kuleuven.be/ (eds), Liber Amicorum in honour of Maurice Bruynooghe, http://dtai.cs.kuleuven.be/IM60/, K.U.Leuven, Vol. http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum, Pag. 17-31, (url), invited paper, July 2010.
• David Buezas, João Almeida and Pedro Barahona, Minimizing sets of enzymes to differentiate between species, in: Alessandro Dal Palu, Agostino Dovier and Sebastian Will (eds), Proceedings of WCB 2010 -Proceedings of WCB 2010 Workshop on Constraint Based Methods for Bioinformatics, http://wcb10.dimi.uniud.it/, July 2010.
• 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.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Reasoning with Uncertainty in Continuous Domains, Integrated Uncertainty Management and Applications, Advances in Intelligent and Soft Computing, Springer, Vol. 68, ISBN 978-3-642-11959-0, Pag. 357-369, April 2010.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic Constraints for Reliability Problems, Proceedings of the 2010 ACM Symposium on Applied Computing, ACM, ISBN 978-1-60558-639, Pag. 2055-2060, March 2010.
• S. Docio, T. Gon{\c c}alves and Paulo Quaresma, Identificación automática de idioma en textos multilingües, Procceedings of the XXXIX Simposio Internacional de la Sociedad Española de Lingüística, February 2010.
• Ana Sofia Gomes, José Júlio Alferes and Terrance Swift, Implementing Query Answering for Hybrid MKNF Knowledge Bases, in: Manuel Carro and Ricardo Peña (eds), Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Lecture Notes in Computer Science, Springer, Vol. 5937, ISBN 978-3-642-11502-8, Pag. 25-39, January 2010.
• Gonçalo Lopes and Luís Moniz Pereira, Prospective Storytelling Agents, in: Manuel Carro and R. Peña (eds), Procs. 12th Intl. Symp. Practical Aspects of Declarative Languages (PADL'10), LNCS, Springer, Vol. 5937, Pag. 294-296, http://centria.di.fct.unl.pt/~lmp/publications/online-papers/storytelling.pdf, January 2010.
• Pedro Salgueiro and Salvador Abreu, A DSL for intrusion detection based on constraint programming, Proceedings of the 3rd international conference on Security of information and networks (SIN 2010), ACM, 2010.
• Jesse Alama, Josef Urban, Piotr Rudnicki and Herman Geuvers, A wiki for Mizar: Motivation, Considerations, and Initial Prototype, in: Serge Autexier (eds), Intelligent Computer Mathematics, Lecture Note in Computer Science, Springer, Vol. 6167, Pag. 455-469, 2010.
• Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16), (Short paper), (url), 2010.
• Cássia Trojahn dos Santos, Paulo Quaresma and Renata Vieira, An API for Multi-lingual Ontology Matching, LREC, 2010.
• Reinhard Kahle and Isabel Oitavem, An applicative theory for PH, in: Steffen van Bakel, Stefano Berardi and Ulrich Berger (eds), Classical Logic and Computation 2010, Federated MFCS & CSL Conference, Brno, Pag. 51-67, 2010.
• 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.
• Jesse Alama, Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools, Proceedings of the 8th International Workshop on the Implementation of Logics, (url), 2010.
• Martin Slota and João Alexandre Leite, Marrying stable models with belief update, in: T. Meyer and E. Ternovska (eds), Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 14-16, 2010.
• Pedro Salgueiro and Salvador Abreu, Network Intrusion Detection with Constraints, Actas da 10a. Conferência sobre Redes de Computadores, FCCN, 2010.
• Martin Slota and João Alexandre Leite, On Semantic Update Operators for Answer-Set Programs, in: Hélder Coelho, Rudi Studer and Michael Wooldridge (eds), ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 215, ISBN 978-1-60750-605-8, Pag. 957-962, 2010.
• Luís Baptista and Francisco Azevedo, On the Power of Restarts for CSP, in: Peter Nightingale and Standa Živný (eds), Proceedings of CP2010's Doctoral Programme, Pag. 7-12, 2010.
• Pedro Salgueiro and Salvador Abreu, On using Constraints for Network Intrusion Detection, Proceedings of InForum 2010, Universidade do Minho, 2010.
• Daniel Diaz, Salvador Abreu and Philippe Codognet, Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture, Intelligent Distributed Computing IV, Studies in Computational Intelligence, Springer, 2010.
• R. Gonçalves and José Júlio Alferes, Parametrized Logic Programming, in: Tomi Janhunen and Ilkka Niemelä (eds), Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010., Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 6341, Pag. 182-194, 2010.
• João Alexandre Leite, Playing with Rules, in: Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk and John Lloyd (eds), Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 5948, ISBN 978-3-642-11354-3, Pag. 1-19, 2010.
• V. Dahl, M. Dolores Jiménez-Lopez and Olivier Perriquet, Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry, Proceedings of PAAMS 2010, 2010.
• 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.