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

Международная совместная конференция по автоматизированному рассуждению ( 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 г.

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

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[ijcar01-1] Горе, Раджив; Лейч, Александр; Нипков, Тобиас , ред. (18–22 июня 2001 г.). «Предисловие». Материалы Первой международной совместной конференции по автоматизированному рассуждению (IJCAR), Сиена, Италия, 2001 г. Берлин: Шпрингер . дои : 10.1007/3-540-45744-5 . ISBN 978-3-540-45744-2 . LCCN 2001041144 . OCLC 505189233 . ОЛ 9869085М .

[susu01-2] Сатклифф, Дж .; Саттнер, CB; Пеллетье, Ф.Дж. (2001). Соревнования по системе IJCAR ATP . Академическое издательство Клувер. стр. 1–14 . Проверено 10 февраля 2023 г.

[ 1 ]

[ 2 ]