Международная совместная конференция по автоматизированному рассуждению
Эта статья нуждается в дополнительных цитатах для проверки . ( февраль 2024 г. ) |
Международная совместная конференция по автоматизированному рассуждению ( 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 была проведена как независимая подконференция четвертой федеративной конференции по логике в Сиэтле , США, и объединила 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.
Ссылки
[ редактировать ]- ^ Горе, Раджив; Лейч, Александр; Нипков, Тобиас , ред. (18–22 июня 2001 г.). «Предисловие». Материалы Первой международной совместной конференции по автоматизированному рассуждению (IJCAR), Сиена, Италия, 2001 г. Берлин: Шпрингер . дои : 10.1007/3-540-45744-5 . ISBN 978-3-540-45744-2 . LCCN 2001041144 . OCLC 505189233 . ОЛ 9869085М .
- ^ Сатклифф, Дж .; Саттнер, CB; Пеллетье, Ф.Дж. (2001). Соревнования по системе IJCAR ATP . Академическое издательство Клувер. стр. 1–14 . Проверено 10 февраля 2023 г.
Внешние ссылки
[ редактировать ]- Домашняя страница IJCAR
- Домашняя страница IJCAR-2006
- Домашняя страница IJCAR-2008
- Домашняя страница IJCAR 2016