Loading article…
論理プログラミング協会(ALP) は 1986 年に設立されました。その使命は、「論理プログラミングの発展に貢献し、それを他の形式科学および人文科学と関連付け、世界中の学界と産業界でその使用を促進すること」です。国際論理プログラミング会議を運営し、[1]ジャーナル「論理プログラミングの理論と実践(TPLP)」を監督し、 [2]電子ニュースレターを発行しています。[3]
協会の活動は、ALP会員によって選出された執行委員会と会長によって指揮される。現在の会長はエンリコ・ポンテッリである。[4]歴代会長の一覧は以下のとおりである。[5]
- 2024-ニューメキシコ州立大学のエンリコ・ポンテッリ
- 2019-2024 トーマス・アイター（ 2019-2020年臨時任期）ウィーン工科大学
- 2014-2019ポツダム大学のトルステン・シャウブ
- 2010-2014テキサス大学ダラス校のゴパル・グプタ
- 2005-2009 マヌエル・エルメネジルド（マドリード工科大学）
- 2001-2004サイモンフレーザー大学のベロニカ・ダール
- 1997 ～ 2000 年アムステルダムのCentrum Wiskunde & InformaticaでKrzysztof R. Aptに勤務
- 1993-1996 デビッド・スコット・ウォーレン（ストーニーブルック校）
- 1989-1992ミュンヘンの欧州コンピュータ産業研究センターのエルヴェ・ガレール
- 1986-1988インペリアル・カレッジ・ロンドンのキース・クラーク
1997年、ALPは論理プログラミングの分野で著名な研究者15名に、この分野の先駆者としての功績を称え「論理プログラミングの創始者」の称号を授与した。 [6]
- モーリス・ブリュノーゲ（ベルギー）
- ジャック・コーエン（米国）
- アラン・コルメロー（フランス）
- キース・クラーク（イギリス）
- ヴェロニカ・ダール（カナダ/アルゼンチン）
- マールテン・ファン・エムデン（カナダ）
- エルヴェ・ガレール（フランス）
- ロバート・コワルスキー（イギリス）
- ジャック・ミンカー（米国）
- フェルナンド・ペレイラ（米国）
- ルイス・モニス・ペレイラ（ポルトガル）
- レイ・ライター（カナダ）
- J. アラン ロビンソン(米国)
- ピーター・シェレディ（ハンガリー）
- デビッド・HD・ウォーレン（イギリス）
ALPアラン・コルメロー賞
ALPアラン・コルメロープロログ遺産賞（略してアラン・コルメロー賞）[7]はALPが主催しています。この賞は、論理プログラミングの将来の発展に対する実証済みの証拠または可能性を伴う基礎的、技術的、実用的な貢献が対象となる、広い意味でのPrologに触発されたコンピューティングにおける最近の成果と実用的な進歩に対して授与されます。
参考文献
- ^ 「ICLPカンファレンス」。論理プログラミング協会。 2022年10月15日閲覧。
- ^ 「論理プログラミングの理論と実践」ケンブリッジ大学出版局。 2022年10月15日閲覧。
- ^ 「ALPニュースレター」。論理プログラミング協会。 2022年10月15日閲覧。
- ^ 「ニュースレター、2024年8月29日、論理プログラミング協会」。論理プログラミング協会。 2024年9月22日閲覧。
- ^ 「ALP EC Elections」。論理プログラミング協会。1997年。 2022年10月16日閲覧。
- ^ 「ALP Awards」。Association for Logic Programming。1997年。 2022年10月15日閲覧。
- ^ 「ALP アラン・コルメロー賞」。論理プログラミング協会。 2024年7月5日閲覧。
外部リンク
- 論理プログラミング協会 (ALP)
- 論理プログラミングの理論と実践ジャーナル