Login / Signup

Transforming orthogonal inductive definition sets into confluent term rewrite systems.

Shujun ZhangNaoki Nishida
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
  • term rewrite systems
  • inductive learning
  • machine learning
  • inductive logic programming
  • database