Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.

Sorin Stratulat

Published in: RTA (2008)

Keyphrases

artificial intelligence
databases
image sequences
conjunctive queries
inductive learning
rewrite rules
real time
machine learning
inductive logic programming
concept learning
inductive inference