自動控除に関する会議
自動推論に関する会議（CADE ）は、自動推論および関連分野における最高峰の学術会議です。[1]最初のCADEは1974年にシカゴ近郊のアルゴンヌ国立研究所で開催されました。CADEの会議のほとんどはヨーロッパとアメリカ合衆国で開催されてきましたが、世界各地でも開催されています。1996年以降、CADEは毎年開催されています。2001年には、CADEは初めて国際自動推論合同会議（IJCAR）に統合されました。[2]これは2004年から2年ごとに開催されています。[3]
1996 年、CADE Inc. は、それまで個別に開催されていたカンファレンスを運営するために、自動推論協会の非営利の下部組織として設立されました。
| 番号 | 議事録 | 日付 | 年 | 位置 | 編集者 |
|---|---|---|---|---|---|
| LNAI | |||||
| 01 | 1975 | ||||
| 02 | 1976 | ||||
| 03 | 1977 | ||||
| 04 | 1979 | ||||
| 05 | 0087 | 1980 | レザルク、フランス | ヴォルフガング・ビーベル、ロバート・コワルスキー | |
| 06 | 0138 | 1982 | ニューヨーク、アメリカ合衆国 | ドナルド・W・ラブランド | |
| 07 | 0170 | 5月14日～16日 | 1984 | ナパ、カリフォルニア州、米国 | ロバート・ショスタク |
| 08 | 0230 | 7月27日～8月1日 | 1986 | オックスフォード、イギリス | ヨルグ・H・ジークマン |
| 09 | 0310 | 5月23日～26日 | 1988 | アメリカ合衆国イリノイ州アルゴンヌ | E. ラスク、ロス A. オーバービーク |
| 10 | 0449 | 1990 | カイザースラウテルン、ドイツ | マーク・スティッケル | |
| 11 | 0607 | 6月15日～18日 | 1992 | サラトガスプリングス、米国 | D. カプール |
| 12 | 0814 | 6月26日～7月1日 | 1994 | ナンシー、フランス | アラン・バンディ |
| 13 | 1104 | 7月30日～8月3日 | 1996 | ニューブランズウィック、ニュージャージー州、米国 | マイケル・A・マクロビー、J・K・スラニー |
| 14 | 1249 | 7月13日～17日 | 1997 | タウンズビル、ノースクイーンズランド、オーストラリア | ウィリアム・マッキューン |
| 15 | 1421 | 7月5日～10日 | 1998 | リンダウ、ドイツ | クロード・キルシュナー、エレーヌ・キルシュナー |
| 16 | 1632 | 7月7日～10日 | 1999 | トレント、イタリア | ハラルド・ガンジンガー |
| 17 | 1831 | 6月17日～20日 | 2000 | ピッツバーグ、ペンシルベニア州、米国 | デビッド・A・マカルスター |
| 18 | 2392 | 7月27日～30日 | 2002 | コペンハーゲン、デンマーク | アンドレイ・ヴォロンコフ |
| 19 | 2741 | 7月28日～8月2日 | 2003 | マイアミビーチ、フロリダ州、米国 | フランツ・バーダー |
| 20 | 3632 | 7月22日～27日 | 2005 | タリン、エストニア | ロバート・ニューウェンハウス |
| 21 | 4603 | 7月17日～20日 | 2007 | ブレーメン、ドイツ | フランク・フェニング |
| 22 | 5663 | 8月2日～7日 | 2009 | モントリオール、カナダ | レナーテ・A・シュミット |
| 23 | 6803 | 7月31日～8月5日 | 2011 | ヴロツワフ、ポーランド | ニコライ・ビョルナー、ヴィオリカ・ソフロニー＝ストッカーマンズ |
| 24 | 7898 | 6月9日～14日 | 2013 | アメリカ合衆国ニューヨーク州レイクプラシッド | マリア・パオラ・ボナチーナ |
| 25 | 9195 | 8月1日～7日 | 2015 | ベルリン、ドイツ | エイミー・フェルティ、アート・ミデルドルプ |
| 26 | 10395 | 8月6日～11日 | 2017 | ヨーテボリ、スウェーデン | レオナルド・デ・モウラ |
| 27 | 11716 | 8月23日～30日 | 2019 | ナタール、ブラジル | パスカル・フォンテーヌ |
| 28 | 12699 | 7月12日～15日 | 2021 | アンドレ・プラッツァー、ジェフ・サトクリフ | |
| 29 | 14132 | 7月1日～4日 | 2023 | ローマ、イタリア | ブリジット・ピエンカ、チェーザレ・ティネリ |
| 30 | 7月28日～8月2日 | 2025 | シュトゥットガルト、ドイツ |
参考文献
- ^ Lu, James J.; Erik Rosenthal (2004). 「インテリジェントシステムのためのロジックベース推論」. Alan B. Tucker (編). コンピュータサイエンスハンドブック（第2版）. CRC Press. p. 61-24.
- ^ Goré, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). 「序文」. 自動推論 - 第1回国際合同会議, IJCAR 2001, シエナ, イタリア. Springer .
- ^ 「自動演繹に関する国際会議 - 会議」CADE, Inc. 2013年5月4日閲覧。
外部リンク
- 公式サイト、CADE
- 公式ウェブサイト、AAR
 | このコンピュータサイエンスの記事はスタブです。記事を拡張することでWikipediaに貢献できます。 |
