La Conferencia Internacional sobre Razonamiento Automatizado con Cuadros Analíticos y Métodos Relacionados ( TABLEAUX ) es una conferencia académica internacional anual que trata todos los aspectos del razonamiento automatizado con cuadros analíticos . Periódicamente, se une con CADE y TPHOLs en la Conferencia Internacional Conjunta sobre Razonamiento Automatizado (IJCAR).
La primera mesa se reunió en 1992. Desde 1995, las actas de esta conferencia han sido publicadas por la serie LNAI de Springer .
En agosto de 2006, TABLEAUX formó parte de la Conferencia de lógica federada en Seattle , EE . UU . Los siguientes TABLEAUX se llevaron a cabo en 2007 en Aix en Provence , Francia , como parte de IJCAR 2008, en Sydney, Australia, como TABLEAUX 2009, en Oslo, Noruega, como parte de IJCAR 2010, Edimburgo, Reino Unido, como TABLEAUX 2011, en Berna , Suiza, del 4 al 8 de julio de 2011, como parte de IJCAR 2012, Manchester, Reino Unido, como TABLEAUX 2013, Nancy, Francia, del 16 al 19 de septiembre de 2013, y como parte de IJCAR 2014, Viena, Austria, del 19 al 22 de julio de 2014 .