Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor.
Jon WhittleAlan BundyRichard J. BoultonPublished in: Formal Aspects Comput. (2002)
Keyphrases
- conceptual framework
- theoretical framework
- main contribution
- learning algorithm
- probabilistic model
- neural network
- decision trees
- user interface
- website
- knowledge based systems
- knowledge base
- design process
- information systems
- software architecture
- design patterns
- simulation environment
- computing paradigm
- framework enables
- design rationale