On the complexity of Bounded Second-Order Unification and Stratified Context Unification.
Jordi LevyManfred Schmidt-SchaußMateu VillaretPublished in: Log. J. IGPL (2011)
Keyphrases
- higher order
- theorem proving
- contextual information
- function symbols
- equational theories
- context sensitive
- context aware
- computational cost
- image processing
- multiscale
- natural language
- similarity measure
- high level
- case study
- theorem prover
- learning algorithm
- knowledge retrieval
- genetic algorithm
- automated theorem proving
- hessian matrix
- neural network