Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov Lutz Schröder Christoph Rauch Julian Jakob

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

Keyphrases

complex objects
deductive databases
training data
neural network
domain knowledge
object oriented
transitive closure