Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure.
Joost EngelfrietHendrik Jan HoogeboomPublished in: Log. Methods Comput. Sci. (2007)
Keyphrases
- transitive closure
- first order logic
- expressive power
- constraint databases
- timed automata
- knowledge representation
- theorem proving
- inference rules
- theorem prover
- recursive queries
- relational algebra
- incomplete information
- query evaluation
- databases
- horn clauses
- spatial databases
- complex objects
- probability distribution
- machine learning