Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.
Giovanni SambinSilvio ValentiniPaolo VirgiliPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- domain specific knowledge
- background knowledge
- complex domains
- training examples
- linear logic
- fuzzy set theory
- lazy learning
- case base
- version spaces
- fuzzy numbers
- knowledge based neural networks
- previously learned
- theorem prover
- knowledge acquisition
- co occurrence
- machine learning
- version space
- interval valued
- training data
- feature selection
- learning algorithm