Fariñas del Cerro L., Herzig A., Mengin J. (Eds.). Logics in Artificial Intelligence

13th European Conference, JELIA 2012. Toulouse, France, September 26-28, 2012. Proceedings. — Springer-Verlag Berlin Heidelberg, 2012. — ISBN 978-3-642-33352-1, e-ISBN 978-3-642-33353-8JELIA is the European Conference on Logics in Artificial Intelligence. The acronym actually stands for its French translation Journґees Europґeennes sur la Logique en Intelligence Artificielle: the conference series started back in 1988 as a small workshop that was held in Roscoff, France. The theme of the workshop was the use of logic as a formal basis for theoretical and practical studies in artificial intelligence. Since then, the number of applications and their importance have grown significantly, and theory and methods of logic for artificial intelligence have evolved a lot. Many fields like theorem proving or belief revision have matured, while new domains such as description logic or answer set programming have emerged. As from the second meeting, JELIA has adopted English and has published its proceedings in Springer’s LNAI series.
Over the last three decades, JELIA has been organized biennially in many European countries: three times in Germany, twice in the UK and Portugal, and once in the Netherlands, Italy, Spain, and Finland. This year JELIA finally returned to France, taking place in Toulouse, “la ville rose”, September 26–28, 2012. This volume contains the papers selected for presentation at JELIA 2012. Competition was very high this year.We received 107 submissions from 31 countries (97 regular papers and 10 system descriptions). Only 36 regular papers and 5 system descriptions were selected for inclusion in the proceedings. The program included three invited talks whose abstracts can be found below:
– Leila Amgoud and Philippe Besnard “Logical Limits of Dung’s Abstract Argumentation Framework”
– Ulrich Furbach “Extensions of Hyper Tableaux”
– Wiebe van der Hoek “On Two Results in Contemporary Modal Logic: Local Definability and Succinctness”
Many people contributed to making JELIA 2012 a success. We would like to thank the authors of the 107 submitted papers, which were of high quality and covered a broad range of topics. We also would like to thank the PC members for their hard work, as well as all the additional experts who made it possible to achieve a thorough reviewing process within a rather short time frame. Thanks are also due to IRIT (Institut de Recherche en Informatique de Toulouse), CNRS (Centre National de la Recherche Scientifique), UPS (Universitґe Paul Sabatier), and LEA IREP (French Spanish Laboratory for Advanced Studies in Information, Representation and Processing) for their financial support. A final word of thanks goes to the JELIA 2012 organizing committee, in particular to Vґeronique Debats and Sabyne Lartigue for their precious support.