Synthesizing Predicates from Abstract Domain Losses.

Bogdan Mihaila Axel Simon

Published in: NASA Formal Methods (2014)

Keyphrases

domain specific
domain ontology
domain independent
low level
user defined
data sets
knowledge base
metadata
high level
multiscale
reinforcement learning
expert systems