A Metalanguage for Guarded Iteration.

Sergey Goncharov Christoph Rauch Lutz Schröder

Published in: ICTAC (2018)

Keyphrases

iterative process
xml documents
image segmentation
objective function
tree decompositions
neural network
expert systems
fixed point
query answering
probabilistic databases