A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
Freek WiedijkPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- databases
- interactive theorem proving
- declarative knowledge
- procedural knowledge
- database
- program synthesis
- knowledge representation
- neural network
- information systems
- cognitive modeling
- object oriented
- attribute grammars
- domain independent
- knowledge acquisition
- artificial intelligence
- learning outcomes
- domain knowledge
- texture synthesis
- tightly coupled
- high level
- e learning
- social networks
- data mining
- data sets