A Novel Symbolic Approach to Verifying Epistemic Properties of Programs.

Nikos Gorogiannis Franco Raimondi Ioana Boureanu

Published in: IJCAI (2017)

Keyphrases

intermediate level
data mining
genetic algorithm
learning algorithm
structural properties
imperative programs
information retrieval
knowledge base
high level
desirable properties