Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot.

Paul Blain Levy Sergey Goncharov

Published in: CALCO (2019)

Keyphrases

fixed point
query answering
tree decompositions
horn clauses
probabilistic databases
neural network
machine learning
information retrieval
database
data sets
decision making
computational complexity