Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Joost Engelfriet Hendrik Jan Hoogeboom

Published in: CoRR (2007)

Keyphrases

transitive closure
first order logic
expressive power
constraint databases
theorem proving
timed automata
inference rules
theorem prover
knowledge representation
relational algebra
incomplete information
recursive queries
horn clauses
query evaluation
finite automata
databases
machine learning