A Metalanguage for Guarded Iteration.

Sergey Goncharov Christoph Rauch Lutz Schröder

Published in: CoRR (2018)

Keyphrases

objective function
fixed point
query answering
computer vision
image processing
data sets
neural network
high level
reinforcement learning
recommender systems
xml documents
special case
iterative process
probabilistic databases