Satisfiability of a Spatial Logic with Tree Variables.
Emmanuel FiliotJean-Marc TalbotSophie TisonPublished in: CSL (2007)
Keyphrases
- spatio temporal
- spatial data
- propositional variables
- computational properties
- spatial and temporal
- tree patterns
- tree structure
- spatial information
- modal logic
- satisfiability problem
- np complete
- multi valued
- variable selection
- propositional logic
- spatial databases
- logic programming
- b tree
- automata theoretic
- bounded model checking
- boolean formula
- decision procedures
- spatial reasoning
- directed acyclic graph
- index structure
- tree search
- constraint satisfaction problems
- sat problem
- tree automata
- truth values
- random variables
- propositional formulas
- conjunctive normal form
- computational complexity