Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent.

Liron Cohen Reuben N. S. Rowe

Published in: CSL (2018)

Keyphrases

transitive closure
inductive reasoning
expressive power
constraint databases
first order logic
query language
directed acyclic graph
query evaluation
recursive queries
spatial databases
cognitive functions
data analysis
logic programming
modal logic
database
relational algebra