On Core XPath with Inflationary Fixed Points.

Loredana Afanasiev Balder ten Cate

Published in: RAIRO Theor. Informatics Appl. (2013)

Keyphrases

fixed point
sufficient conditions
dynamical systems
approximate value iteration
belief propagation
query evaluation
xml documents
temporal difference learning
query language
xml data
first order logic
initial conditions
linear logic
least squares
graphical models