On the correctness of monadic backward induction.

Nuria Brede Nicola Botta

Published in: J. Funct. Program. (2021)

Keyphrases

deductive databases
datalog queries
forward and backward
bi directional
program synthesis
inductive learning

constructive induction
datalog programs
inductive reasoning
forward backward
concept learning
rule induction

inductive logic programming
machine learning
transitive closure
discovery process
real time
version space

explanation based learning
inductive inference
relational databases
expert systems
artificial intelligence