On the correctness of monadic backward induction.
Nuria BredeNicola BottaPublished 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