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

プログラミング、人工知能、推論のためのロジックに関する国際会議 (LPAR)は、自動推論、計算ロジック、プログラミング言語、およびそれらのアプリケーションの分野における最先端の結果について議論することを目的とした学術会議です。

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

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

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

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