Algebraic combinatorics in bounded induction.
Joaquín Borrego-DíazPublished in: Ann. Pure Appl. Log. (2021)
Keyphrases
- program synthesis
- machine learning
- graph theory
- higher order
- artificial intelligence
- information systems
- inductive logic programming
- subgroup discovery
- inductive reasoning
- real time
- constructive induction
- version space
- explanation based learning
- concept learning
- inductive learning
- artificial neural networks
- case study
- social networks
- databases