Papers in proceedings

• 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.