Keyphrases
- lambda calculus
- programming language
- predicate calculus
- higher order
- sequent calculi
- program understanding
- information retrieval
- database query languages
- fixed order
- spatial relations
- logic programming
- vague concepts
- reasoning problems
- fixed point
- data sets
- fuzzy sets
- fuzzy logic
- high level
- computer vision
- social networks
- neural network