Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.

Ranko Lazic Joël Ouaknine James Worrell

Published in: MFCS (2013)

Keyphrases

term rewriting
decision making
neural network
rewrite systems
query processing
case study
information retrieval
management system
type checking
real world
computer vision
three dimensional
user interface
recommender systems
special case
hidden markov models
active rules
data sets