Some Domain Theory and Denotational Semantics in Coq.
Nick BentonAndrew KennedyCarsten VarmingPublished in: TPHOLs (2009)
Keyphrases
- domain theory
- denotational semantics
- programming language
- explanation based learning
- domain knowledge
- inductive learning
- query language
- theorem prover
- operational semantics
- abstract data types
- complex domains
- background knowledge
- general purpose
- knowledge based neural networks
- data model
- training examples
- case base
- knowledge acquisition
- machine learning