Supporting composition in symbolic system synthesis.

Kai Neubauer Christian Haubelt Michael Glaß

Published in: SAMOS (2016)

Keyphrases

high level
database
low level
learning algorithm
database systems
search algorithm
probabilistic model
symbolic representation
support systems
program synthesis
symbolic description