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

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

• 第1回IJCARは2001年6月18日から22日にイタリアのシエナで開催されました^{[1] 。5} 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 年の Alan Turing Yearの一環として、英国マンチェスターで開催され、 Alan Turing Centenary Conferenceと併催されました。この会議でも、CADE、FTP、TABLEAUX、FroCoS が統合されました。
• 第 7 回 IJCAR は、2014 年のVienna Summer of Logicの一環としてオーストリアのウィーンで開催され、CADE、TABLEAUX、FroCoS が統合されました。
• 第8回IJCARは2016年にポルトガルのコインブラで開催され、CADE、TABLEAUX、FroCoSが統合されました。

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