Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability

Jörg Endrullis

Published in: CoRR (2010)

Keyphrases

preprocessing
state space
levels of abstraction
information retrieval
special case
normalization method
data sets
neural network
machine learning
high levels
transitive closure
query rewriting
probabilistic planning