Международная совместная конференция по автоматизированному рассуждению

Серия конференций по автоматизированному рассуждению, автоматизированному выводу и смежным областям

Международная совместная конференция по автоматизированному рассуждению ( IJCAR ) — это серия конференций по темам автоматизированного рассуждения , автоматического вывода и смежных областей. Он организуется полурегулярно как объединение других собраний. IJCAR заменяет эти независимые конференции в те годы, когда они проводятся. Конференция организована организаторами Конференции по автоматизированному дедукции (CADE), и CADE всегда была одной из конференций, участвующих в IJCAR.

• Первый IJCAR был проведен в Сиене , Италия, 18–22 июня 2001 г., ^{[1] : 5,} в результате слияния CADE, FTP и TABLEAUX , и который включал соревнование по системе IJCAR ATP (CASC-JC) 21 июня 2001 г. ^[2]
• Второй IJCAR был проведен в Корке , Ирландия, в 2004 году в результате слияния CADE, FTP, TABLEAUX, FroCoS и CALCULEMUS.
• Третья IJCAR проводилась как независимая подконференция четвертой конференции Federated Logic Conference в Сиэтле , США, и объединила CADE, FTP, TABLEAUX, FroCoS и TPHOL .
• Четвертый IJCAR был проведен в Сиднее , Австралия, в 2008 году и объединил CADE, FroCoS, FTP и TABLEAUX.
• Пятая IJCAR была проведена в 2010 году как независимая подконференция пятой федеративной конференции по логике в Эдинбурге , Великобритания, и объединила CADE, FTP, TABLEAUX и FroCoS.
• Шестой IJCAR проводился в Манчестере , Великобритания, в рамках Года Алана Тьюринга 2012 и был совмещен с Конференцией столетия Алана Тьюринга . Он снова объединил CADE, FTP, TABLEAUX и FroCoS.
• Седьмой IJCAR был проведен в Вене , Австрия, в рамках Венского лета логики в 2014 году и объединил CADE, TABLEAUX и FroCoS.
• Восьмой IJCAR прошел в Коимбре , Португалия, в 2016 году и объединил CADE, TABLEAUX и FroCoS.

Рекомендации

1. Горе, Раджив; Лейч, Александр; Нипков, Тобиас , ред. (18–22 июня 2001 г.). «Предисловие». Материалы Первой международной совместной конференции по автоматизированному рассуждению (IJCAR), Сиена, Италия, 2001. Берлин: Springer . дои : 10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN  2001041144. OCLC  505189233. OL  9869085M.
2. Сатклифф, Г .; Саттнер, CB; Пеллетье, Ф.Дж. (2001). Соревнования по системе IJCAR ATP. Академическое издательство Клювер. стр. 1–14 . Проверено 10 февраля 2023 г.

Внешние ссылки

• Домашняя страница IJCAR
• Домашняя страница IJCAR-2006
• Домашняя страница IJCAR-2008
• Домашняя страница IJCAR 2016