Recursion Schemes and Logical Reflection.

Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre

Published in: LICS (2010)

Keyphrases

information systems
search algorithm
deductive databases
transitive closure
data mining
machine learning
artificial intelligence
feature selection
digital libraries
query processing
complex objects
datalog programs
logical representation
logical reasoning