Logika pro programování, umělou inteligenci a uvažování - Logic for Programming, Artificial Intelligence and Reasoning
 | Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. (Srpna 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 | tento článek příliš spoléhá na Reference na primární zdroje. (Srpna 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The Mezinárodní konference o logice pro programování, umělou inteligenci a uvažování (LPAR) je akademická konference zaměřená na diskuzi o špičkových výsledcích v oblastech automatizovaného uvažování, výpočetní logiky, programovacích jazyků a jejich aplikací.
Vyrostlo to z ruských konferencí o logickém programování v letech 1990 a 1991; myšlenka uspořádat konferenci byla z velké části způsobena Robert Kowalski který navrhl vytvoření Ruské asociace pro logické programování. Konference byla v roce 1992 přejmenována na „Logické programování a automatické uvažování„(LPAR), aby odrážela jeho rozšířenou působnost, kvůli značnému zájmu o automatizované uvažování v bývalém Sovětském svazu. Po přestávce v letech 1995 až 1998 LPAR pokračovala v roce 1999 pod názvem„ Logic pro Programming and Automated Reasoning ", k označení rozšíření jeho logické části nad rámec logického programování. V roce 2001 byl název změněn na„ Logic for Programming, Artificial Inteligence a Uvažování".[1]
Řídící výbor LPAR tvoří Matthias Baaz, Chris Fermüller, Geoff Sutcliffe, a Andrej Voronkov (židle).[2]
Přehled konferenčních akcí
| datum | Ne. | název | Acr. | Umístění | LNCS | ISBN | ||
|---|---|---|---|---|---|---|---|---|
| Září | 14-18, | 1990 | 1. místo | Ruská konference o logickém programování | RCLP | Irkutsk, Rusko | 592 | 3-540-55460-2 |
| Září | 11-16, | 1991 | 2. místo | Petrohrad, Rusko, na palubě lodi "Michail Lomonosov" | ||||
| Jul | 15-20, | 1992 | 3. místo | Mezinárodní konference o logickém programování a automatickém uvažování | LPAR | Petrohrad, Rusko, na palubě lodi "Michail Lomonosov" | 624 | 3-540-55727-X |
| Jul | 13-20, | 1993 | 4. místo | Petrohrad, Rusko | 698 | 3-540-56944-8 | ||
| Jul | 16-22, | 1994 | 5 | Kyjev, Ukrajina, na palubě lodi „Marshal Koshevoi“ | 822 | 3-540-58216-9 | ||
| Září | 06-10, | 1999 | 6. | Mezinárodní konference o logice programování a automatického uvažování | Tbilisi, Gruzie | 1705 | 3-540-66492-0 | |
| listopad | 11-12, | 2000 | 7. | Ostrov Réunion, Francie | 1955 | 3-540-41285-9 | ||
| Prosinec | 03-07, | 2001 | 8. | Mezinárodní konference o logice pro programování, umělou inteligenci a uvažování | Havana, Kuba | 2250 | 3-540-42957-3 | |
| Října | 14-18, | 2002 | 9 | Tbilisi, Gruzie | 2514 | 3-540-00010-0 | ||
| Září | 22-26, | 2003 | 10. | Almaty, Kazachstán | 2850 | 3-540-20101-7 | ||
| Mar | 14-18, | 2004 | 11. | Montevideo, Uruguay | 3452 | 3-540-25236-3 | ||
| Prosinec | 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 | ||
| Října | 15-19, | 2007 | 14 | Jerevan, Arménie | 4790 | 978-3-540-75560-9 | ||
| listopad | 22-27, | 2008 | 15 | Dauhá, Katar | 5330 | 978-3-540-89438-4 | ||
| Dubna | 25-30, | 2010 | 16. den | Dakar, Senegal | 6355 | 978-3-642-17510-7 | ||
| Října | 10-15, | 2010 | 17 | Yogyakarta, Indonésie | 6397 | 978-3-642-16241-1 | ||
| Mar | 10-15, | 2012 | 18. den | Mérida, Venezuela | 7180 | 978-3-642-28716-9 | ||
| Prosinec | 10-15, | 2013 | 19 | Stellenbosch, Jižní Afrika | 8312 | 978-3-642-45220-8 | ||
| listopad | 24-28 | 2015 | 20 | Suva, Fidži | 9450 | 978-3-662-48899-7 | ||
| Smět | 7-12, | 2017 | 21. den | Maun, Botswana | - | ISSN 2398-7340 [1] | ||
| listopad | 16-21, | 2018 | 22 | Awassa, Etiopie | - | ISSN 2398-7340 [2] | ||
externí odkazy
- Domovská stránka LPAR - účetnictví pro 1. až 15. konferenci (1990–1994, 1999–2008)
- Domovská stránka 17. LPAR (2010)
- Domovská stránka 18. LPAR (2012)
- Domovská stránka 19. LPAR (2013)
- Stránka LPAR na DBLP
Reference
- ^ Sekce historie na Domovská stránka LPAR
- ^ Domovská stránka LPAR
| Tento článek o počítačové konferenci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |