Slanted Canonicity of Analytic Inductive Inequalities.
Laurent de RudderAlessandra PalmigianoPublished in: ACM Trans. Comput. Log. (2021)
Keyphrases
- inductive learning
- sufficient conditions
- stereo matching
- machine learning
- knowledge representation
- concept learning
- inductive inference
- inductive reasoning
- linear inequalities
- stereo algorithm
- inductive logic programming
- stereo images
- facet defining
- systematic errors
- cutting plane algorithm
- rule learning
- stereo pair
- background knowledge
- ground truth
- bayesian networks
- high quality
- computer vision
- learning algorithm