Keyphrases
- lambda calculus
- higher order
- attribute values
- missing attribute values
- databases
- asynchronous circuits
- automated reasoning
- logic programming
- classical logic
- artificial intelligence
- data sets
- input data
- expressive power
- missing values
- multi attribute
- programming language
- multi valued
- computational properties
- attribute selection
- truth values
- linear logic
- data mining
- ordered sets