Jump to content

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

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


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 95ff04d1d7d7ff53fbaf83d575e9a4d6__1707544680
URL1:https://arc.ask3.ru/arc/aa/95/d6/95ff04d1d7d7ff53fbaf83d575e9a4d6.html
Заголовок, (Title) документа по адресу, URL1:
International Joint Conference on Automated Reasoning - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)