Conjecture Synthesis for Inductive Theories.
Moa JohanssonLucas DixonAlan BundyPublished in: J. Autom. Reason. (2011)
Keyphrases
- functional programs
- inductive learning
- program synthesis
- machine learning
- inductive inference
- theoretical framework
- theory revision
- data sets
- image processing
- expert systems
- inductive logic programming
- concept learning
- intelligent design
- deductive reasoning
- causal reasoning
- cognitive psychology
- rule learning
- texture synthesis
- mathematical models
- case study
- information systems
- artificial intelligence
- databases