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