Logika programowania, sztucznej inteligencji i rozumowania - Logic for Programming, Artificial Intelligence and Reasoning

Międzynarodowa Konferencja na temat logiki programowania, sztuczna inteligencja i rozumowania (LPAR) jest konferencja naukowa mające na celu omówienie wyników najnowocześniejszych w dziedzinie automatycznego rozumowania, logiki obliczeniowej, języków programowania i ich zastosowań.

Wyrosła z rosyjskich konferencji na temat programowania logicznego w latach 1990 i 1991; pomysł zorganizowania konferencji był w dużej mierze zasługą Roberta Kowalskiego, który zaproponował utworzenie Rosyjskiego Stowarzyszenia Programowania Logiki. W 1992 r. Konferencja została przemianowana na „Logic Programming and Automated Reasoning ” (LPAR), aby odzwierciedlić jej rozszerzony zakres, ze względu na duże zainteresowanie automatycznym rozumowaniem w byłym Związku Radzieckim. Po przerwie w latach 1995–1998 LPAR kontynuował działalność w 1999 r. Pod nazwą „Logika do programowania i automatycznego rozumowania”, aby wskazać rozszerzenie swojej części logicznej poza programowanie logiczne. W 2001 roku nazwa została zmieniona na „Logika programowania, sztucznej inteligencji i rozumowania”.

W skład komitetu sterującego LPAR wchodzą Matthias Baaz, Chris Fermüller, Geoff Sutcliffe i Andrei Voronkov (przewodniczący).

Przegląd wydarzeń konferencyjnych

Data Nie. Nazwa Acr. Lokalizacja LNCS ISBN
Wrz 14-18, 1990 1 Rosyjska konferencja na temat programowania logicznego RCLP Irkuck, Rosja 592 3-540-55460-2
Wrz 11-16, 1991 2nd Petersburg, Rosja, na pokładzie statku „Michail Lomonosov”
Lip 15-20, 1992 3 Międzynarodowa konferencja na temat programowania logicznego i automatycznego rozumowania LPAR Petersburg, Rosja, na pokładzie statku „Michail Lomonosov” 624 3-540-55727-X
Lip 13–20, 1993 4 St.Petersburg, Rosja 698 3-540-56944-8
Lip 16-22, 1994 5 Kijów, Ukraina, na pokładzie statku „Marshal Koshevoi” 822 3-540-58216-9
Wrz 06-10, 1999 6th Międzynarodowa konferencja nt. Logiki w programowaniu i automatycznym rozumowaniu Tbilisi, Gruzja 1705 3-540-66492-0
Lis 11-12, 2000 7 Wyspa Reunion, Francja 1955 3-540-41285-9
Grud 03-07, 2001 8th Międzynarodowa konferencja nt. Logiki w programowaniu, sztucznej inteligencji i rozumowaniu Hawana, Kuba 2250 3-540-42957-3
Paź 14-18, 2002 9 Tbilisi, Gruzja 2514 3-540-00010-0
Wrz 22-26, 2003 10 Ałmaty, Kazachstan 2850 3-540-20101-7
Zniszczyć 14-18, 2004 11th Montewideo, Urugwaj 3452 3-540-25236-3
Grud 02-06, 2005 12 Montego Bay, Jamajka 3835 3-540-30553-X
Lis 13-17, 2006 13 Phnom Penh, Kambodża 4246 3-540-48281-4
Paź 15-19, 2007 14 Erywań, Armenia 4790 978-3-540-75560-9
Lis 22-27, 2008 15 Doha, Katar 5330 978-3-540-89438-4
Kwi 25-30, 2010 16th Dakar, Senegal 6355 978-3-642-17510-7
Paź 10-15, 2010 17 Yogyakarta, Indonezja 6397 978-3-642-16241-1
Zniszczyć 10-15, 2012 18 Mérida, Wenezuela 7180 978-3-642-28716-9
Grud 10-15, 2013 19 Stellenbosch, Republika Południowej Afryki 8312 978-3-642-45220-8
Lis 24-28 2015 20 Suva, Fidżi 9450 978-3-662-48899-7
Może 7-12, 2017 21 Maun, Botswana - ISSN   2398-7340 [1]
Lis 16-21, 2018 22 Awassa, Etiopia - ISSN   2398-7340 [2]

Bibliografia

Linki zewnętrzne


Ten artykuł o konferencji komputerowej to skrót . Możesz pomóc Wikipedii, rozbudowując ją .