Логика для программирования, искусственного интеллекта и рассуждения

Международная конференция по логике программирования, искусственному интеллекту и рассуждению (LPAR) — это научная конференция, целью которой является обсуждение передовых результатов в области автоматического рассуждения, вычислительной логики, языков программирования и их приложений.

Он вырос из Российских конференций по логическому программированию 1990 и 1991 годов; Идея организации конференции во многом принадлежит Роберту Ковальскому , который предложил создать Российскую ассоциацию логического программирования. В 1992 году конференция была переименована в «Логическое программирование и автоматизированное мышление » (LPAR), чтобы отразить ее расширенный охват из-за значительного интереса к автоматизированному рассуждению в бывшем Советском Союзе. После перерыва с 1995 по 1998 год LPAR продолжился в 1999 году под названием «Логика для программирования и автоматического рассуждения», что указывает на расширение его логической части за пределы логического программирования. В 2001 году название было изменено на «Логика для программирования, искусственного интеллекта и рассуждения».

В состав руководящего комитета LPAR входят Маттиас Бааз, Крис Фермюллер, Джефф Сатклифф и Андрей Воронков (председатель).

Следуя своему лозунгу «Смело идти туда, куда еще не ступала ни одна разумная конференция», LPAR обычно происходит в необычных или труднодоступных местах.

Обзор мероприятий конференции

Дата			Нет.	Имя	Акр.	Расположение	ЛНКС	ISBN
Сентябрь	14-18,	1990	1-й	Российская конференция по логическому программированию	РЦЛП	Иркутск, Россия	592	3-540-55460-2
Сентябрь	11-16,	1991	2-й			Санкт-Петербург, Россия, на борту теплохода "Михаил Ломоносов"
июль	15-20,	1992	3-й	Международная конференция по логическому программированию и автоматическому рассуждению	LPAR	Санкт-Петербург, Россия, на борту теплохода "Михаил Ломоносов"	624	3-540-55727-Х
июль	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-Х
ноябрь	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
Июнь	4-9	2023	24-е			Манисалес, Колумбия	-	ISSN: 2398-7340

Внешние ссылки

• Официальный сайт — отчетность 1-15-й конференции (1990–1994, 1999–2008 гг.)
• Домашняя страница 17-го LPAR (2010 г.)
• Домашняя страница 18-го LPAR (2012 г.)
• Домашняя страница 19-го LPAR (2013 г.)
• Страница LPAR в DBLP