Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.
Stephan FalkeDeepak KapurPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- data structure
- termination analysis
- decision making
- semantic web
- high level
- natural language
- domain specific
- semantic network
- efficient data structures
- semantic search
- presburger arithmetic
- random field model
- semantic description
- semantic representation
- semantic knowledge
- suffix tree
- semantic information
- semantic relationships
- semantic analysis
- data types