Exponential lower bounds for semantic resolution.
Stasys JuknaPublished in: Proof Complexity and Feasible Arithmetics (1996)
Keyphrases
- lower bound
- upper bound
- branch and bound
- average case complexity
- semantic web
- objective function
- semantic similarity
- semantic network
- neural network
- semantic representation
- semantic knowledge
- vc dimension
- natural language
- high level
- semantic annotation
- lower and upper bounds
- domain specific
- high resolution
- semantic analysis
- semantic features
- low resolution
- memory efficient