Welcome

to the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012) in Toulouse, France, September 26-28, 2012!

JELIA 2012 was organized by the Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier.

The conference proceedings have been published by Springer, in the Lecture Notes in Artificial Intelligence Series, volume 7519.

The following papers have been selected by the Jelia 2012 Program Committee to represent Jelia at the IJCAI 2013 Sister Conferences Track:

• Nitin Yadav and Sebastian Sardina. Reasoning about BDI Agent Programs using ATL-like Logics
• Laura Bozzelli, Hans van Ditmarsch and Sophie Pinchinat. The complexity of one-agent Refinement Modal Logic

About JELIA

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever.

The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), and Helsinki, Finland (2010).

The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, have turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.