Equational Termination by Semantic Labelling.
Hitoshi OhsakiAart MiddeldorpJürgen GieslPublished in: CSL (2000)
Keyphrases
- theorem proving
- term rewriting
- semantic web
- semantic information
- semantic level
- semantic search
- semantic network
- theorem prover
- natural language
- context dependent
- semantic knowledge
- rewrite systems
- database
- semantic features
- semantic similarity
- semantic annotation
- integrity constraints
- domain independent
- xml documents
- website