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

自動推論に関する国際合同会議（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が統合されました。

参考文献

^ゴレ, ラジーブ; ライチュ, アレクサンダー;ニプコウ, トビアス編 (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。
^ Sutcliffe, G. ; Suttner, CB; Pelletier, FJ (2001). The IJCAR ATP System Competition . Kluwer Academic Publishers. pp. 1– 14. 2023年2月10日閲覧。

外部リンク

このコンピュータサイエンスの記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。

[ijcar01-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。

[susu01-2] Sutcliffe, G. ; Suttner, CB; Pelletier, FJ (2001). The IJCAR ATP System Competition . Kluwer Academic Publishers. pp. 1– 14. 2023年2月10日閲覧。

[ 1 ]

[ 2 ]。