On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi Ugo Dal Lago Charles Grellois

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

higher order
recursive programs
program synthesis
logic programs
transformation rules
pairwise
probabilistic model
databases
multi agent systems