Ein kompakter Sammelband der TABLEAUX‑Konferenz 2009 in Oslo, der neueste Entwicklungen zu analytischen Tafeln, logischen Entscheidungsverfahren und deren Einsatz in KI beleuchtet und damit Forschern tiefgehende Einblicke bietet.