自動推論に関する国際合同会議

自動推論に関する国際合同会議（IJCAR ）は、自動推論、自動演繹、および関連分野をテーマとする一連の会議です。他の会議を統合して半定期的に開催されます。IJCARは、開催される年にこれらの独立した会議に取って代わります。この会議は自動演繹に関する国際会議（CADE）の主催者によって主催されており、CADEは常にIJCARに参加する会議の一つとなっています。

• 第1回IJCARは2001年6月18日から22日にイタリアのシエナで開催されました^{[ 1 ]。CADE} 、FTP、 TABLEAUXの統合として開催され、 2001年6月21日にはIJCAR ATPシステム競技会（CASC-JC）も開催されました^{[ 2 ]。}
• 第 2 回 IJCAR は、CADE、FTP、TABLEAUX、 FroCoS、CALCULEMUSの統合として 2004 年にアイルランドのコークで開催されました。
• 第 3 回 IJCAR は、米国シアトルで開催された第 4 回 Federated Logic Conference の独立したサブカンファレンスとして開催され、CADE、FTP、TABLEAUX、FroCoS、TPHOL が統合されました。
• 第 4 回 IJCAR は2008 年にオーストラリアのシドニーで開催され、CADE、FroCoS、FTP、TABLEAUX が統合されました。
• 第 5 回 IJCAR は、2010 年に英国エジンバラで開催された第 5 回 Federated Logic Conference の独立したサブカンファレンスとして開催され、CADE、FTP、TABLEAUX、および FroCoS が統合されました。
• 第6回IJCARは、アラン・チューリング・イヤー2012の一環として、英国マンチェスターで開催され、アラン・チューリング生誕100周年記念会議と併催されました。この会議でもCADE、FTP、TABLEAUX、FroCoSが統合されました。
• 第 7 回 IJCAR は、2014 年のVienna Summer of Logic の一環としてオーストリアのウィーンで開催され、CADE、TABLEAUX、および FroCoS が統合されました。
• 第8回IJCARは2016年にポルトガルのコインブラで開催され、CADE、TABLEAUX、FroCoSが統合されました。

参考文献

1. ゴレ, ラジーブ; ライチュ, アレクサンダー;ニプコウ, トビアス編 (2001年6月18～22日). 「序文」.第1回国際自動推論合同会議 (IJCAR) 議事録, シエナ, イタリア, 2001年. ベルリン:シュプリンガー. doi : 10.1007/3-540-45744-5 . ISBN 978-3-540-45744-2。LCCN  2001041144。OCLC  505189233。OL  9869085M。
2. Sutcliffe, G. ; Suttner, CB; Pelletier, FJ (2001). The IJCAR ATP System Competition . Kluwer Academic Publishers. pp.  1– 14. 2023年2月10日閲覧。

外部リンク

• IJCARホームページ
• IJCAR-2006ホームページは2006年2月9日にWayback Machineにアーカイブされています
• IJCAR-2008ホームページは2007年10月14日にWayback Machineにアーカイブされています。
• IJCAR 2016 ホームページ