Международная конференция по автоматизированным рассуждениям с использованием аналитических таблиц и связанных методов
Международная конференция по автоматизированным рассуждениям с аналитическими таблицами и связанными с ними методами ( TABLEAUX ) — это ежегодная международная академическая конференция , которая занимается всеми аспектами автоматизированных рассуждений с аналитическими таблицами . Периодически она объединяется с CADE и TPHOLs в Международную объединенную конференцию по автоматизированным рассуждениям ( IJCAR ).
Первый стол был созван в 1992 году. С 1995 года материалы этой конференции публикуются в серии LNAI издательства Springer .
В августе 2006 года TABLEAUX был частью Federated Logic Conference в Сиэтле , США . Следующие TABLEAUX были проведены в 2007 году в Экс-ан-Провансе , Франция , как часть IJCAR 2008, в Сиднее, Австралия, как TABLEAUX 2009, в Осло, Норвегия, как часть IJCAR 2010, в Эдинбурге, Великобритания, как TABLEAUX 2011, в Берне, Швейцария, 4–8 июля 2011, как часть IJCAR 2012, в Манчестере, Великобритания, как TABLEAUX 2013, в Нанси, Франция, 16–19 сентября 2013, и как часть IJCAR 2014, в Вене, Австрия, 19–22 июля 2014.
Внешние ссылки
- Домашняя страница TABLEAUX
 | Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее. |
