![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
TABLEAUX is the main international conference at which research on all aspects – theoretical foundations, implementation techniques, systems development and applications – of tableaux-based reasoning and related methods are presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR).