Inductive and Coinductive Predicate Liftings for Effectful Programs.

Niccolò Veltri Niels F. W. Voorneveld

Published in: CoRR (2021)

Keyphrases

functional programs
recursive programs
inductive learning
machine learning
first order logic
real time
website
knowledge representation
inductive logic programming
intermediate level
inductive concept learning
computer programs
programming environment
horn clauses