Tree-Width for First Order Formulae.

Isolde Adler Mark Weyer

Published in: CSL (2009)

Keyphrases

tree width
structural properties
tree decomposition
horn clauses
first order logic
constraint networks
higher order
shortest path
probabilistic reasoning
branch and bound
relational structures
exact and approximate
video sequences
computationally challenging
relational databases
conjunctive queries