Логика для программирования, искусственного интеллекта и рассуждений
 | В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения )
|
Международная конференция по логике для программирования, искусственного интеллекта и рассуждений (LPAR) — это научная конференция, целью которой является обсуждение передовых результатов в области автоматизированных рассуждений, вычислительной логики, языков программирования и их приложений.
Она выросла из Российских конференций по логическому программированию 1990 и 1991 годов; идея организовать конференцию во многом принадлежала Роберту Ковальскому , который предложил создать Российскую ассоциацию логического программирования. Конференция была переименована в 1992 году в «Логическое программирование и автоматизированное рассуждение » (LPAR), чтобы отразить ее расширенную сферу деятельности из-за значительного интереса к автоматизированному рассуждению в бывшем Советском Союзе. После перерыва с 1995 по 1998 год LPAR продолжила свою деятельность в 1999 году под названием «Логика для программирования и автоматизированного рассуждения», чтобы указать на расширение ее логической части за пределы логического программирования. В 2001 году название было изменено на «Логика для программирования, искусственного интеллекта и рассуждения». [1]
В руководящий комитет LPAR входят Маттиас Бааз, Крис Фермюллер, Джефф Сатклифф и Андрей Воронков (председатель). [2]
Следуя своему лозунгу «Смело идти туда, где еще не бывала ни одна разумная конференция» [3] , LPAR обычно проводится в необычных или труднодоступных местах.
Обзор мероприятий конференции
| Дата | Нет. | Имя | Акр. | Расположение | ЛНКС | ISBN | ||
|---|---|---|---|---|---|---|---|---|
| сен | 14-18 | 1990 | 1-й | Российская конференция по логическому программированию | РКЛП | Иркутск, Россия | 592 | 3-540-55460-2 |
| сен | 11-16 | 1991 | 2-й | Санкт-Петербург, Россия, на борту теплохода «Михаил Ломоносов» | ||||
| Июль | 15-20 | 1992 | 3-й | Международная конференция по логическому программированию и автоматизированному рассуждению | ЛПА | Санкт-Петербург, Россия, на борту теплохода «Михаил Ломоносов» | 624 | 3-540-55727-X |
| Июль | 13-20 | 1993 | 4-й | Санкт-Петербург, Россия | 698 | 3-540-56944-8 | ||
| Июль | 16-22 | 1994 | 5-й | Киев, Украина, на борту теплохода «Маршал Кошевой» | 822 | 3-540-58216-9 | ||
| сен | 06-10 | 1999 | 6-й | Международная конференция по логике программирования и автоматизированного мышления | Тбилиси, Грузия | 1705 | 3-540-66492-0 | |
| нояб. | 11-12 | 2000 | 7-й | Остров Реюньон, Франция | 1955 | 3-540-41285-9 | ||
| Декабрь | 03-07 | 2001 | 8-й | Международная конференция по логике программирования, искусственному интеллекту и рассуждениям | Гавана, Куба | 2250 | 3-540-42957-3 | |
| октябрь | 14-18 | 2002 | 9-й | Тбилиси, Грузия | 2514 | 3-540-00010-0 | ||
| сен | 22-26 | 2003 | 10-й | Алматы, Казахстан | 2850 | 3-540-20101-7 | ||
| март | 14-18 | 2004 | 11-й | Монтевидео, Уругвай | 3452 | 3-540-25236-3 | ||
| Декабрь | 02-06 | 2005 | 12-й | Монтего-Бей, Ямайка | 3835 | 3-540-30553-X | ||
| нояб. | 13-17 | 2006 | 13-й | Пномпень, Камбоджа | 4246 | 3-540-48281-4 | ||
| октябрь | 15-19 | 2007 | 14-й | Ереван, Армения | 4790 | 978-3-540-75560-9 | ||
| нояб. | 22-27 | 2008 | 15-й | Доха, Катар | 5330 | 978-3-540-89438-4 | ||
| Апрель | 25-30 | 2010 | 16-й | Дакар, Сенегал | 6355 | 978-3-642-17510-7 | ||
| октябрь | 10-15 | 2010 | 17-й | Джокьякарта, Индонезия | 6397 | 978-3-642-16241-1 | ||
| март | 10-15 | 2012 | 18-й | Мерида, Венесуэла | 7180 | 978-3-642-28716-9 | ||
| Декабрь | 10-15 | 2013 | 19-й | Стелленбош, Южная Африка | 8312 | 978-3-642-45220-8 | ||
| нояб. | 24-28 | 2015 | 20-й | Сува, Фиджи | 9450 | 978-3-662-48899-7 | ||
| Может | 7-12 | 2017 | 21-й | Маун, Ботсвана | - | ISSN 2398-7340 [1] | ||
| нояб. | 16-21 | 2018 | 22-й | Авасса, Эфиопия | - | ISSN 2398-7340 [2] | ||
| Янв | 12-13 | 2021 | 23-й | Онлайн из-за COVID | - | ISSN 2398-7340 [3] | ||
| июнь | 4-9 | 2023 | 24-е | Манисалес, Колумбия | - | ISSN 2398-7340 [4] | ||
| Может | 26-31 | 2024 | 25-й | Маврикий | - | ISSN 2398-7340 [5] | ||
Ссылки
- ^ Раздел истории на домашней странице LPAR
- ^ Домашняя страница LPAR
- ^ "LPAR-24, Манисалес, Колумбия, 4-9 июня 2023 г.". easychair.org . Получено 28.08.2023 .
Внешние ссылки
- Официальный сайт — с учетом 1-й по 15-ю конференцию (1990–1994, 1999–2008)
- Домашняя страница 17-го LPAR (2010)
- Домашняя страница 18-го LPAR (2012)
- Домашняя страница 19-го LPAR (2013)
- Страница LPAR на DBLP
