Logik för programmering, artificiell intelligens och resonemang

Den internationella konferensen om logik för programmering, artificiell intelligens och resonemang (LPAR) är en akademisk konferens som syftar till att diskutera spetsresultat inom områdena automatiserat resonemang, beräkningslogik, programmeringsspråk och deras tillämpningar.

Den växte fram ur de ryska konferenserna om logisk programmering 1990 och 1991; Idén att organisera konferensen berodde till stor del på Robert Kowalski som föreslog att skapa den ryska föreningen för logisk programmering. Konferensen döptes 1992 om till "Logic Programming and Automated Reasoning " (LPAR) för att återspegla dess utökade omfattning, på grund av stort intresse för automatiserade resonemang i det forna Sovjetunionen. Efter ett uppehåll från 1995 till 1998 fortsatte LPAR 1999 under namnet "Logic for Programmering and Automated Reasoning", för att indikera en förlängning av dess logiska del bortom logisk programmering. 2001 ändrades namnet till "Logik för programmering, artificiell intelligens och resonemang".

LPAR-styrgruppen består av Matthias Baaz, Chris Fermüller, Geoff Sutcliffe och Andrei Voronkov (ordförande).

Översikt över konferensevenemang

Datum Nej. namn Acr. Plats LNCS ISBN
sep 14-18, 1990 1:a Ryska konferensen om logisk programmering RCLP Irkutsk, Ryssland 592 3-540-55460-2
sep 11-16, 1991 2:a St.Petersburg, Ryssland, ombord på fartyget "Michail Lomonosov"
jul 15-20, 1992 3:a Internationell konferens om logisk programmering och automatiserat resonemang LPAR St.Petersburg, Ryssland, ombord på fartyget "Michail Lomonosov" 624 3-540-55727-X
jul 13-20, 1993 4:a St.Petersburg, Ryssland 698 3-540-56944-8
jul 16-22, 1994 5:a Kiev, Ukraina, ombord på fartyget "Marshal Koshevoi" 822 3-540-58216-9
sep 06-10, 1999 6:a Internationell konferens om logik för programmering och automatiserat resonemang Tbilisi, Georgien 1705 3-540-66492-0
nov 11-12, 2000 7:a Reunion Island, Frankrike 1955 3-540-41285-9
dec 03-07, 2001 8:e Internationell konferens om logik för programmering, artificiell intelligens och resonemang Havanna, Kuba 2250 3-540-42957-3
okt 14-18, 2002 9:e Tbilisi, Georgien 2514 3-540-00010-0
sep 22-26, 2003 10:e Almaty, Kazakstan 2850 3-540-20101-7
Mar 14-18, 2004 11:e Montevideo, Uruguay 3452 3-540-25236-3
dec 02-06, 2005 12:e Montego Bay, Jamaica 3835 3-540-30553-X
nov 13-17, 2006 13:e Phnom Penh, Kambodja 4246 3-540-48281-4
okt 15-19, 2007 14:e Jerevan, Armenien 4790 978-3-540-75560-9
nov 22-27, 2008 15:e Doha, Qatar 5330 978-3-540-89438-4
apr 25-30, 2010 16:e Dakar, Senegal 6355 978-3-642-17510-7
okt 10-15, 2010 17:e Yogyakarta, Indonesien 6397 978-3-642-16241-1
Mar 10-15, 2012 18:e Mérida, Venezuela 7180 978-3-642-28716-9
dec 10-15, 2013 19:e Stellenbosch, Sydafrika 8312 978-3-642-45220-8
nov 24-28 2015 20:e Suva, Fiji 9450 978-3-662-48899-7
Maj 7-12, 2017 21:a Maun, Botswana -   ISSN 2398-7340 [1]
nov 16-21, 2018 22:a Awassa, Etiopien -   ISSN 2398-7340 [2]

externa länkar


Hämtad från " https://en.wikipedia.org/w/index.php?title=Logic_for_Programming,_Artificial_Intelligence_and_Reasoning&oldid=1017459173 "