A FOOLish Encoding of the Next State Relations of Imperative Programs.

Evgenii Kotelnikov Laura Kovács Andrei Voronkov

Published in: IJCAR (2018)

Keyphrases

imperative programs
machine learning
artificial intelligence
hidden markov models
integrity constraints
database
general purpose
logic programs
background knowledge