An ML Editor Based on Proofs-As-Programs.
Jon WhittleAlan BundyRichard J. BoultonHelen LowePublished in: ASE (1999)
Keyphrases
- computer programs
- maximum likelihood
- theorem proving
- automatic programming
- theorem prover
- real time
- artificial intelligence
- knowledge base
- image segmentation
- expert systems
- data model
- information systems
- answer sets
- data mining
- databases
- programming environment
- decision procedures
- database
- control structures
- equational theories
- mathematical proofs