tableaux

n.

a group of people attractively arranged (as if in a painting)

同义词：tableau vivant

any dramatic scene

Hyper tableaux
A tableaux decision procedure for SHOIQ
First-order modal tableaux
Optimising Tableaux Decision Procedures For Description Logics
Shifted tableaux and the projective representations of symmetric groups
Automated Reasoning with Analytic Tableaux and Related Methods
Ribbon tableaux, Hall–Littlewood functions, quantum affine algebras, and unipotent varieties
Systematization of finite many-valued logics through the method of tableaux
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Data Complexity of Query Answering in Expressive Description Logics via Tableaux