18th Edition of the European Conference on Logics in Artificial Intelligence
September 20-22 2023,
hosted by TU Dresden, Germany
Welcome to JELIA 2023, the 18th edition of the European Conference on Logics in Artificial Intelligence, to be held in Dresden by the International Center for Computational Logic of TU Dresden.
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), Helsinki, Finland (2010), Toulouse, France (2012), Madeira, Portugal (2014), Larnaca, Cyprus (2016), Rende, Italy (2019), Klagenfurt, Austria (2021).
The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.
Amsterdam, Netherlands, September 10-14, 1990 Proceedings LNAI 478
Berlin, Germany, September 7-10, 1992 Proceedings LNAI 633
York, UK, September 5-8, 1994 Proceedings LNAI 838
Évora, Portugal, September 30 - October 3, 1996 Proceedings LNAI 1126
Dagstuhl, Germany, October 12-15, 1998 Proceedings LNAI 1489
Màlaga, Spain, September 29 - October 2, 2000 Proceedings LNAI 1919
Cosenza, Italy, September 23-26, 2002 Proceedings LNAI 2424
Lisbon, Portugal, September 27-30, 2004 Proceedings LNAI 3229
Liverpool, UK, September 13-15, 2006 Proceedings LNAI 4160
Dresden, Germany, September 28 - October 1, 2008 Proceedings LNAI 5293
Helsinki, Finland, September 13-15, 2010 Proceedings LNAI 6341
Toulouse, France, September 26-28, 2012 Proceedings LNAI 7519
Funchal, Madeira, Portugal, September 24-26, 2014 Proceedings LNAI 8761
Larnaca, Cyprus , November 09-11, 2016 Proceedings LNAI 10021
Rende, Italy , May 7-11, 2019, 2019 Proceedings LNAI 11468
Klagenfurt, Austria , May 17-20, 2021, 2021 Proceedings LNAI 12678