A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.
Andrew StevensPublished in: ECAI (1988)
Keyphrases
- decision making
- discrete tomography
- high resolution
- image reconstruction
- inductive inference
- compressed sensing
- inductive learning
- machine learning
- constrained search
- inductive logic programming
- compressive sensing
- reconstructed image
- program synthesis
- autoepistemic logic
- rule induction
- logic programs
- three dimensional
- learning algorithm