プログラミング、人工知能、推論のための論理学

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

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

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

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

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