Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi.
David SabelManfred Schmidt-SchaußFrederik HarwathPublished in: GI Jahrestagung (2009)
Keyphrases
- qualitative spatial
- qualitative spatial reasoning
- contextual information
- spatial reasoning
- higher order
- context sensitive
- formal theory
- fixed order
- qualitative reasoning
- information retrieval
- context aware
- sequent calculi
- real time
- lambda calculus
- context dependent
- spatial relations
- control system
- information systems
- genetic algorithm
- real world