Logika programowania, sztuczna inteligencja i rozumowanie

International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) to konferencja naukowa, której celem jest omówienie najnowocześniejszych wyników w dziedzinie automatycznego rozumowania, logiki obliczeniowej, języków programowania i ich zastosowań.

Wyrósł z rosyjskich konferencji poświęconych programowaniu logicznemu w latach 1990 i 1991; pomysł zorganizowania konferencji wyszedł w dużej mierze od Roberta Kowalskiego , który zaproponował utworzenie Rosyjskiego Stowarzyszenia Programowania Logicznego. Konferencja została przemianowana w 1992 roku na „Programowanie logiczne i automatyczne rozumowanie ” (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 roku pod nazwą „Logika dla Programowanie i zautomatyzowane wnioskowanie”, aby wskazać rozszerzenie jego 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 Akr. Lokalizacja LNCS ISBN
wrzesień 14-18, 1990 1. miejsce Rosyjska konferencja na temat programowania logicznego RCLP Irkuck, Rosja 592 3-540-55460-2
wrzesień 11-16, 1991 2. miejsce Sankt Petersburg, Rosja, na pokładzie statku „Michaił Łomonosow”
lipiec 15-20, 1992 3 Międzynarodowa konferencja na temat programowania logicznego i automatycznego wnioskowania LPAR Sankt Petersburg, Rosja, na pokładzie statku „Michaił Łomonosow” 624 3-540-55727-X
lipiec 13-20, 1993 4 Sankt Petersburg, Rosja 698 3-540-56944-8
lipiec 16-22, 1994 5 Kijów, Ukraina, na pokładzie statku „Marszałek Koszewoj” 822 3-540-58216-9
wrzesień 06-10, 1999 6 Międzynarodowa konferencja na temat logiki programowania i automatycznego wnioskowania Tbilisi, Gruzja 1705 3-540-66492-0
listopad 11-12, 2000 7 Wyspa Reunion, Francja 1955 3-540-41285-9
grudzień 03-07, 2001 8 Międzynarodowa konferencja na temat logiki w programowaniu, sztucznej inteligencji i rozumowaniu Hawana, Kuba 2250 3-540-42957-3
październik 14-18, 2002 9 Tbilisi, Gruzja 2514 3-540-00010-0
wrzesień 22-26, 2003 10 Ałmaty, Kazachstan 2850 3-540-20101-7
Zniszczyć 14-18, 2004 11 Montewideo, Urugwaj 3452 3-540-25236-3
grudzień 02-06, 2005 12 Montego Bay, Jamajka 3835 3-540-30553-X
listopad 13-17, 2006 13 Phnom Penh, Kambodża 4246 3-540-48281-4
październik 15-19, 2007 14 Erywań, Armenia 4790 978-3-540-75560-9
listopad 22-27, 2008 15 Doha, Katar 5330 978-3-540-89438-4
kwiecień 25-30, 2010 16 Dakar, Senegal 6355 978-3-642-17510-7
październik 10-15, 2010 17 Yogyakarta, Indonezja 6397 978-3-642-16241-1
Zniszczyć 10-15, 2012 18 Merida, Wenezuela 7180 978-3-642-28716-9
grudzień 10-15, 2013 19 Stellenbosch, Republika Południowej Afryki 8312 978-3-642-45220-8
listopad 24-28 2015 20 Suva, Fidżi 9450 978-3-662-48899-7
Móc 7-12, 2017 21 Maun, Botswana -   ISSN 2398-7340 [1]
listopad 16-21, 2018 22 Awassa, Etiopia -   ISSN 2398-7340 [2]

Linki zewnętrzne


Pobrane z „ https://en.wikipedia.org/w/index.php?title=Logic_for_Programming,_Artificial_Intelligence_and_Reasoning&oldid=1017459173 ”