CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.
Mark-Oliver StehrPublished in: WRLA (2000)
Keyphrases
- qualitative spatial and temporal reasoning
- fixed point
- constraint networks
- domain specific
- qualitative spatial reasoning
- qualitative spatial
- cardinal directions
- interval algebra
- neural network
- lambda calculus
- application specific
- automated deduction
- real time
- constraint satisfaction problems
- artificial intelligence
- genetic algorithm
- data sets