Login / Signup
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.
Yuliya Lierler
Vladimir Lifschitz
Published in:
LPNMR (2011)
Keyphrases
</>
data sets
term rewriting
artificial intelligence
decision trees
term rewrite systems