Constructive Canonicity of Inductive Inequalities.
Willem ConradieAlessandra PalmigianoPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- inductive learning
- linear inequalities
- machine learning
- inductive reasoning
- sufficient conditions
- cutting plane algorithm
- inductive logic programming
- inductive concept learning
- integer solution
- planar graphs
- valid inequalities
- concept learning
- information systems
- dynamic programming
- multi agent
- functional programs
- computer vision
- elementary functions
- data sets