Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs.
Keita UchiyamaMasahiko SakaiToshiki SakabePublished in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
- term rewriting systems
- term rewrite systems
- type checking
- term rewriting
- rewrite systems
- logic programs
- data structure
- functional programs
- dependency relations
- question answering
- active rules
- integrity constraints
- artificial intelligence
- description logics
- natural language processing
- information extraction
- knowledge representation
- pairwise
- natural language
- knowledge base