Tree-width for first order formulae
Isolde AdlerMark WeyerPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- tree width
- tree decomposition
- structural properties
- horn clauses
- shortest path
- first order logic
- constraint networks
- higher order
- conjunctive queries
- exact and approximate
- relational structures
- computationally challenging
- parallel processing
- databases
- probabilistic reasoning
- decomposition method
- programming language