プログラミング、人工知能、推論のためのロジック

プログラミング、人工知能、推論のためのロジックに関する国際会議 (LPAR)は、自動推論、計算ロジック、プログラミング言語とその応用の分野における最先端の成果を議論することを目的とした学術会議です。

これは、1990年と1991年に開催されたロシア論理プログラミング会議から発展したものです。会議開催のアイデアは、ロシア論理プログラミング協会の設立を提案したロバート・コワルスキー氏によるところが大きいです。旧ソ連における自動推論への関心の高さから、会議の範囲が拡大したため、1992年に会議は「論理プログラミングと自動推論」（LPAR）に改名されました。1995年から1998年までの中断の後、LPARは1999年に「プログラミングと自動推論のための論理」という名称で継続され、論理プログラミングを超えた論理部分の拡張を示しました。2001年には、「プログラミング、人工知能、および推論のための論理」に名称が変更されました。^[1]

LPAR運営委員会は、マティアス・バーズ、クリス・ファーミュラー、ジェフ・サトクリフ、アンドレイ・ヴォロンコフ（議長）で構成されています。^[2]

「これまで妥当な会議が行ったことのない場所に大胆に進む」というスローガンに従い、^[3] LPAR は通常、珍しい場所やアクセスが困難な場所で開催されます。

会議イベントの概要

日付			いいえ。	名前	アクロン	位置	LNCS	ISBN
9月	14～18歳	1990	1位	ロシア論理プログラミング会議	RCLP	イルクーツク、ロシア	592	3-540-55460-2
9月	11-16	1991	2位	ロシア論理プログラミング会議	RCLP	ロシア、サンクトペテルブルク、船「ミハイル・ロモノーソフ」号乗船中	592	3-540-55460-2
7月	15～20歳	1992	3位	論理プログラミングと自動推論に関する国際会議	LPAR	ロシア、サンクトペテルブルク、船「ミハイル・ロモノーソフ」号乗船中	624	3-540-55727-X
7月	13-20	1993	4番目			サンクトペテルブルク、ロシア	698	3-540-56944-8
7月	16～22歳	1994	5番目			ウクライナ、キエフ、船「マーシャル・コシェヴォイ」号乗船中	822	3-540-58216-9
9月	06-10	1999	6番目	プログラミングと自動推論のための論理に関する国際会議		トビリシ、ジョージア	1705	3-540-66492-0
11月	11-12	2000	7日	プログラミングと自動推論のための論理に関する国際会議		レユニオン島、フランス	1955	3-540-41285-9
12月	03-07	2001	8日	プログラミング、人工知能、推論のための論理に関する国際会議		ハバナ、キューバ	2250	3-540-42957-3
10月	14～18歳	2002	9日			トビリシ、ジョージア	2514	3-540-00010-0
9月	22-26	2003	10日			アルマトイ、カザフスタン	2850	3-540-20101-7
3月	14～18歳	2004	11日			ウルグアイ、モンテビデオ	3452	3-540-25236-3
12月	02-06	2005	12日			モンテゴベイ、ジャマイカ	3835	3-540-30553-X
11月	13～17歳	2006	13日			プノンペン、カンボジア	4246	3-540-48281-4
10月	15～19歳	2007	14日			アルメニア、エレバン	4790	978-3-540-75560-9
11月	22-27	2008	15日			ドーハ、カタール	5330	978-3-540-89438-4
4月	25～30歳	2010	16日			ダカール、セネガル	6355	978-3-642-17510-7
10月	10～15歳	2010	17日			ジョグジャカルタ、インドネシア	6397	978-3-642-16241-1
3月	10～15歳	2012	18日			メリダ、ベネズエラ	7180	978-3-642-28716-9
12月	10～15歳	2013	19日			ステレンボッシュ、南アフリカ	8312	978-3-642-45220-8
11月	24-28	2015	20日			スバ、フィジー	9450	978-3-662-48899-7
5月	7～12歳	2017	21日			マウン、ボツワナ	-	ISSN 2398-7340 [1]
11月	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]
5月	26-31	2024	25日			モーリシャス	-	ISSN 2398-7340 [5]

参考文献

^ LPARホームページの履歴セクション
^ LPARホームページ
^ “LPAR-24、マニサレス、コロンビア、2023年6月4～9日”. easychair.org . 2023年8月28日閲覧。

外部リンク

公式サイト — 第1回から第15回会議（1990～1994年、1999～2008年）の記録
第17回LPARホームページ（2010年）
第18回LPARホームページ（2012年）
第19回LPARホームページ（2013年）
DBLPの LPAR ページ

この記事はコンピュータカンファレンスに関するものです。この記事を拡張することで、Wikipedia に貢献できます。

[1] LPARホームページの履歴セクション

[2] LPARホームページ

[3] “LPAR-24、マニサレス、コロンビア、2023年6月4～9日”. easychair.org . 2023年8月28日閲覧。