Papers in proceedings

• Han The Anh, Carroline D. P. Kencana Ramli and Carlos Viegas Damásio, An Implementation of Extended P-Log Using XASP, Proceedings of Logic Programming, 24th International Conference, ICLP 2008, Lecture Notes in Computer Science, Springer, Udine, Italy, Vol. 5366, ISBN 978-3-540-89981-5, Pag. 739-743, (url), December 2008.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio and Gerd Wagner, On the Computability and Complexity Issues of Extended RDF, in: Tu Bao Ho and Zhi-Hua Zhou (eds), Proceedings of PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Lecture Notes in Computer Science, Springer, Hanoi, Vietnam, Vol. 5351, ISBN 978-3-540-89196-3, Pag. 5-16, (url), December 2008.
• Gerd Wagner, Adrian Giurca, Ion-Mircea Diaconescu, Grigoris Antoniou, Anastasia Analyti and Carlos Viegas Damásio, Reasoning on the Web with Open and Closed Predicates, Proceedings of Third International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS 2008), in conjunction with ICLP'08, Udine, Italy, (url), December 2008.
• T. Gonçalves and Paulo Quaresma, Text classification using tree kernels and linguistic information, in: M. Arif Wani, Xue-wen Chen, David Casasent, Lukasz Kurgan, Tony Hu and Khalid Hafeez (eds), ICMLA'08} - 7th International Conference on Machine Learning and Applications, IEEE Computer Society, ISBN 978-0-7695-3495-4, Pag. 763-768, \href{http://www.di.uevora.pt/~pq/papers/icmla08.pdf}{(pdf), December 2008.
• Marco Correia and Pedro Barahona, On the Integration of Singleton Consistencies and Look-Ahead Heuristics, Recent Advances in Constraints, Lecture Notes in Computer Science, Springer, November 2008.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic continuous constraint satisfaction problems, 20th IEEE International Conference on Tools with Artificial Intelligence, IEEE, Vol. 2, ISBN 978-0-7695-3440-4, ISSN 1082-3409, Pag. 155-162, November 2008.
• Agostinho Monteiro, J. Barbas and Nuno Marques, Utilização da programaçãao declarativa para processamento do CETEMPúblico, in: Luís Costa, Diana Santos and Nuno Cardoso (eds), Perspectivas sobre a Linguateca / Actas do encontro Linguateca: 10 anos., Linguateca, ISBN 978-989-20-1445-6, (url), November 2008.
• Valentin Mayer-Eichberger, Towards Solving a System of Pseudo Boolean, M.Sc. Thesis, (url), October 2008.
• Ruben Duarte Viegas, Marco Correia, Pedro Barahona and Francisco Azevedo, Using Indexed Finite Set Variables for Set Bounds Propagation, in: H. Geffner, R. Prada, I. Machado Alexandre and N. David (eds), IBERAMIA 2008, Lecture Notes in Artificial Intelligence, Springer, October 2008.
• Antoine Isaac, Cássia Trojahn, Shenghui Wang and Paulo Quaresma, Using Quantitative Aspects of Alignment Generation for Argumentation on Mappings, 3rd International Workshop on Ontology Matching, Karlsruhe, Germany, Pag. 1-12, (url), October 2008.
• Jean Christoph Jung, Value Orderings based on Solution Counting, M.Sc. Thesis, (url), October 2008.
• Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damásio, A Principled Framework for Modular Web Rule Bases and its Semantics, in: G. Brewka and Jérôme Lang (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008), AAAI, Sydney, Australia, ISBN 978-1-57735-384-3, Pag. 390-400, (url), September 2008.
• Marco Correia and Pedro Barahona, On the Efficiency of Impact Based Heuristics, in: P. J. Stuckey (eds), Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, Springer, Vol. 5202/2008, ISBN 978-3-540-85957-4, ISSN 0302-9743, Pag. 608-612, (url), September 2008.
• S. Costantini, P. Dell'Acqua, Luís Moniz Pereira and P. Tsintza, Specification and Dynamic Verification of Agent Properties, 9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA), http://www.csc.liv.ac.uk/%7Emichael/clima08.html, (url), September 2008.
• José Saias and Paulo Quaresma, The Senso Question Answering Approach to Portuguese QA@CLEF-2008, Proceedings of CLEF - Cross Language Evaluation Forum, Aarhus, Denmark, (url), September 2008.
• Matthias Knorr, José Júlio Alferes and P. Hitzler, A Coherent well-founded model for hybrid MKNF knowledge bases, Proceedings of the 18th European Conference on Artificial Intelligence(ECAI-08), IOS Press, Pag. 99-103, July 2008.
• S. Costantini, P. Dell'Acqua and Luís Moniz Pereira, A Multi-layer Framework for Evolving and Learning Agents, in: M. T. Cox and A. Raja (eds), Procs. Metareasoning: Thinking about thinking workshop, AAAI08, AAAI, (url), July 2008.
• Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio and Gerd Wagner, Computability and Complexity Issues of Extended RDF, in: M. Ghallab, C.D. Spyropoulos, N. Fakotakis and N. Avouris (eds), Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), IOS Press, Greece, ISBN 978-1-58603-891-5, Pag. 733-734, (url), Short paper., July 2008.
• Sebastian Bader, Steffen Hölldobler and Nuno Marques, Guiding Backprob by Inserting Rules, in: Artur S. d'Ávila Garcez and P. Hitzler (eds), Proceedings of the 4th ECAI International Workshop on Neuro-Symbolic Learning and Reasoning, CEUR Workshop Proceedings, Vol. 366, ISSN 1613-0073, (url), July 2008.
• B. Mirkin, Susana Nascimento and Luís Moniz Pereira, Representing a Computer Science Research Organization on the ACM Computing Classification System, in: P. Eklund and O. Haemmerlé (eds), Proc. 16th International Conference on Conceptual Structures, CEUR-WS.org, ISSN 1613-0073, July 2008.
• Nuno Lopes, Cláudio Fernandes and Salvador Abreu, Representing and Querying Multiple Ontologies with Contextual Logic Programming, CoRTA'2008 - Compilers, Related Technologies and Applications, Univ. Minho, July 2008.
• Jean Christoph Jung, Pedro Barahona, George Katsirelos and TobyWalsh, Two Encodings of DNNF Theories, ECAI'08 Workshop on Inference methods based on Graphical Structures of Knowledge, (url), July 2008.
• Cássia Trojahn, Paulo Quaresma and Renata Vieira, A Framework for Multilingual Ontology Mapping, 6th Edition of the Language Resources and Evaluation Conference, Marrakech, Marrocos, (url), May 2008.
• Cássia Trojahn, Paulo Quaresma and Renata Vieira, An Argumentation Framework based on strength for Ontology Mapping, Fifth International Workshop on Argumentatin in MultiAgents Systems - International Conference on Autonomous Agents and Multiagent Systems (ArgMas-AAMAS), Estoril, Portugal, Pag. 1-16, (url), May 2008.
• Cássia Trojahn, Paulo Quaresma and Renata Vieira, Conjunctive Queries for Ontology based Agent Communication in MAS, in: Lin Padgham, David Parkes and Jorg Muller (eds), Seventh International Conference on Autonomous Agents and Multiagent Systems, INESC-ID, Estoril, Portugal, Vol. 2, ISBN 978-0981738116, Pag. 829-836, (url), May 2008.
• J. F. Castro, M-Logic: Thinking with Measurements and Cinematic Memories, 2008 Conference on Human System Interaction, IEEE, ISBN 1-4244-1543-8, Pag. 633-638, May 2008.
• Alexandra Baldaque and Miguel Calejo, Towards a new Generation User Help Platform: a preliminary survey of relevant fields, Proceedings of the IASK International Conference, International Association for the Scientific Knowledge, http://www.iask-web.org/about.html, ISBN 978-972-99397-8-5, May 2008.
• Nuno Lopes and Salvador Abreu, A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming, in: José Carlos Ramalho, João Correia Lopes and Salvador Abreu (eds), XATA2008 - XML: Applications and Associated Technologies, Univ. Minho, February 2008.
• Cláudio Fernandes and Salvador Abreu, SPARQL Back-end for Contextual Logic Agents, in: José Carlos Ramalho, João Correia Lopes and Salvador Abreu (eds), XATA2008 - XML: Applications and Associated Technologies, Univ. Minho, February 2008.
• Alfredo Gabaldon, Activity recognition with intended actions, answer set programming approach, in: M. Thielsher, M. Pagnucco (eds), Twelfth International Workshop on Non-Monotonic Reasoning, (url), 2008.
• Tiago Franco, José Júlio Alferes, Ludwig Krippahl and Ricardo Amador, Bioinformatics reactivity features through the Semantic Web, in: A. Burger, A. Paschke and A. Splendiani (eds), Semantic Web Applications and Tools for Life Sciences, CEUR-WS.org, Vol. 435, 2008.
• Reinhard Kahle, Bologna at the basis, Governance and Management Models is Higher Education - A Global Perspective, Coimbra Centre for Innovative Management and Faculty of Economics of the University of Coimbra, Conference CD, 2008.
• Ana Luísa Leal and Paulo Quaresma, Desenvolvimento e Integração de Recursos para Pesquisa de Informação - um Processo Interdisciplinar e Interinstitucional, in: Cristina Sarmento (eds), XVI Encontro da Associação das Universidades de Língua Portuguesa, Associação das Universidades de Língua Portuguesa, Macau, China, Pag. 99-108, (url), 2008.
• Armando Fernandes, Detection of a Large Number of Overlapping Ellipses Immersed in Noise., International Symposium in Visual Computing (1), Lecture Notes in Computer Science, Springer, Vol. 5358, ISBN 978-3-540-89638-8, Pag. 1-10, (url), 2008.
• Martin Slota and João Alexandre Leite, EVOLP: An Implementation, in: Fariba Sadri and Ken Satoh (eds), Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, Lecture Notes in Computer Science, Springer, Vol. 5056, Pag. 288-298, 2008.
• Martin Slota and João Alexandre Leite, EVOLP: Tranformation-Based Semantics, in: Fariba Sadri and Ken Satoh (eds), CLIMA VIII, Lecture Notes in Computer Science, Springer, Vol. 5056, Pag. 117-136, 2008.
• José Júlio Alferes, Alfredo Gabaldon and João Alexandre Leite, Evolving Logic Programming Based Agents with Temporal Operators, in: L. Jain, M. Gini, B. B. Faltings, T. Terano, C. Zhang, N. Cercone and L. Cao (eds), Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008, IEEE, Pag. 238-244, 2008.
• Manoela Ilic, João Alexandre Leite and Martin Slota, Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System, in: Hector Geffner, Rui Prada, Isabel Machado Alexandre and Nuno David (eds), Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 5290, Pag. 352-361, 2008.
• Armando Fernandes, Identification of Oceanic Eddies in Satellite Images., International Symposium in Visual Computing (2), Lecture Notes in Computer Science, Springer, Vol. 5359, ISBN 978-3-540-89645-6, Pag. 65-74, (url), 2008.
• José Júlio Alferes, Alfredo Gabaldon and João Alexandre Leite, Non-Markovian Agent Evolution with EVOLP, in: Rafael Bordini, Mehdi Dastani, Juergen Dix and Amal El Fallah-Seghrouchni (eds), Programming Multi-Agent Systems, Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, ISSN 1862-4405, (url), 2008.
• Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler and Jon Williamson, Possible Semantics for a Common Framework of Probabilistic Logics, in: V. N. Huynh (eds), International Workshop on Interval Probabilistic Uncertainty and Non-Classical Logics, (UniLog 2008), Advances in Soft Computing Series, Springer, Pag. 268-279, 2008.
• Elsa Carvalho, Jorge Cruz and Pedro Barahona, Probabilistic constraints for inverse problems, in: V. N. Huynh (eds), Interval/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing, Springer, Vol. 46, ISBN 978-3-540-77663-5, Pag. 115-128, 2008.
• Rafael Bordini, Mehdi Dastani, Koen Hindriks and João Alexandre Leite, Programming Languages and Development Tools for Multi-Agent Systems, in: Pinar Yolum (eds), Tutorial Notes, 7th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'08, Pag. 1-104, 2008.
• Luis Quintano and Irene Rodrigues, Question/Answering Clarification Dialogues, in: Alexander F. Gelbukh and Eduardo Morales (eds), MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, LNCS, Springer, Vol. 5317, ISBN 978-3-540-88635-8, 2008.
• Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion and Isabel Oitavem, Recursion Schemata for NC^k, in: M. Kaminski and S. Martini (eds), CSL 2008, Lecture Notes in Computer Science, Springer, Pag. 49-63, (url), 2008.
• Manoela Ilic, João Alexandre Leite and Martin Slota, Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics, in: L. Jain, P. Lingras, M. Klusch, J. Lu, C. Zhang, N. Cercone and L. Cao (eds), 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, IEEE, Pag. 840-846, 2008.
• José Saias and Paulo Quaresma, The University of Évora's Participation in QA@CLEF-2007, in: C. Peters et al. (eds), Workshop of the Cross Language Evaluation Forum 2007, Lecture Notes in Computer Science, Springer-Verlag, Vol. 5152, Pag. 316-323, (url), 2008.
• José Júlio Alferes, Ricardo Amador, P. Karger and Daniel Olmedilla, Towards reactive semantic web policies: Advanced agent control for the semantic web, in: Ricardo Amador (eds), International Semantic Web Conference (ISWC), CEUR-WS.org, Short Paper, 2008.
• Reinhard Kahle, Towards Reverse Proofs-as-Programs, in: Arnold Beckmann, Costas Dimitracopoulos and Benedikt Lowe (eds), Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, University of Athens, Pag. 224-233, Local Proceedings, 2008.