Logic for Programming, Artificial Intelligence and Reasoning
The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussions cutting-edge results in the areas of automated reasoning, computational logic, programming languages and applications hun.
It Grew out of the Russian Conferences on Logic Programming in 1990 and 1991; the idea to Organize the conference was largely due to Robert Kowalski who Proposed to create the Russian Association for Logic Programming. The conference was renamed in 1992 to “Logic Programming and Automated Reasoning ” (LPAR) to reflect zijn wide scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name “Logic for Programming and Automated Reasoning” to indicate an extension or zijn logic part beyond logic programming. In 2001, the name changed to “Logic for Programming, Artificial Intelligence and Reasoning”. [1]
The LPAR steering committee consists of Matthias Baaz Chris Fermüller, Geoff Sutcliffe , and Andrei Voronkov (chair). [2]
Overview of conference events
date | No. | Names | Arc. | Location | LNCS | ISBN | ||
---|---|---|---|---|---|---|---|---|
Sep | 14-18 | 1990 | 1st | Russian Conference on Logic Programming | RCLP | Irkutsk, Russia | 592 | 3-540-55460-2 |
Sep | 11-16 | 1991 | 2nd | St. Petersburg, Russia, on board the ship “Mikhail Lomonosov” | ||||
Jul | 15-20, | 1992 | 3rd | International Conference on Logic Programming and Automated Reasoning | LPAR | St. Petersburg, Russia, on board the ship “Mikhail Lomonosov” | 624 | 3-540-55727-X |
Jul | 13-20, | 1993 | 4th | St. Petersburg, Russia | 698 | 3-540-56944-8 | ||
Jul | 16-22 | 1994 | 5th | Kiev, Ukraine, on board the ship “Marshal Koshevoi” | 822 | 3-540-58216-9 | ||
Sep | 06-10, | 1999 | 6th | International Conference on Logic for Programming and Automated Reasoning | Tbilisi, Georgia | 1705 | 3-540-66492-0 | |
Nov | 11-12 | 2000 | 7th | Reunion Island, France | 1955 | 3-540-41285-9 | ||
Dec | 03-07, | 2001 | 8th | International Conference on Logic for Programming, Artificial Intelligence, and Reasoning | Havana, Cuba | 2250 | 3-540-42957-3 | |
Oct | 14-18 | 2002 | 9th | Tbilisi, Georgia | 2514 | 3-540-00010-0 | ||
Sep | 22-26 | 2003 | 10th | Almaty, Kazakhstan | 2850 | 3-540-20101-7 | ||
Mar | 14-18 | 2004 | 11th | Montevideo, Uruguay | 3452 | 3-540-25236-3 | ||
Dec | 02-06, | 2005 | 12th | Montego Bay, Jamaica | 3835 | 3-540-30553-X | ||
Nov | 13-17 | 2006 | 13th | Phnom Penh, Cambodia | 4246 | 3-540-48281-4 | ||
Oct | 15-19 | 2007 | 14th | Yerevan, Armenia | 4790 | 978-3-540-75560-9 | ||
Nov | 22-27 | 2008 | 15th | Doha, Qatar | 5330 | 978-3-540-89438-4 | ||
Apr | 25-30, | 2010 | 16th | Dakar, Senegal | 6355 | 978-3-642-17510-7 | ||
Oct | 10-15, | 2010 | 17th | Yogyakarta, Indonesia | 6397 | 978-3-642-16241-1 | ||
Mar | 10-15, | 2012 | 18th | Merida, Venezuela | 7180 | 978-3-642-28716-9 | ||
Dec | 10-15, | 2013 | 19th | Stellenbosch, South Africa | 8312 | 978-3-642-45220-8 |