Intensionality, Intensional Recursion, and the Gödel-Löb axiom.

Published in: CoRR (2017)

Keyphrases

deductive databases
query evaluation
social bookmarking
inference rules
complex objects
modal logic
higher order
transitive closure
data integration
datalog programs
expressive power
neural network
artificial intelligence
optimal solution
data warehouse