Sign in

Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion.

Steffen Lange
Published in: AII (1989)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • inference rules
  • function symbols
  • artificial intelligence
  • xml keys
  • set of inference rules
  • database systems
  • description logics
  • database technology
  • answer set programming