The Use of the Typed Lambda Calculus for Guiding Naive Users in the Representation and Acquisition of Part-Whole Knowledge.
Michael UscholdPublished in: Data Knowl. Eng. (1996)
Keyphrases
- lambda calculus
- predicate calculus
- programming language
- database query languages
- higher order
- knowledge base
- knowledge acquisition
- domain knowledge
- knowledge representation
- databases
- formal model
- expert systems
- relational databases
- data mining techniques
- program understanding
- artificial intelligence
- knowledge based systems
- higher level
- database systems