Synthesis of ML Programs in the System Coq.
Christine Paulin-MohringBenjamin WernerPublished in: J. Symb. Comput. (1993)
Keyphrases
- functional programs
- maximum likelihood
- feature selection
- computer vision
- automatic programming
- formal methods
- multiscale
- multi agent
- computer programs
- expert systems
- provably correct
- control structures
- theorem prover
- answer sets
- logic programs
- real time
- learning environment
- three dimensional
- website
- artificial intelligence
- neural network
- databases