Sign in
Combining Static and Dynamic Reasoning for the Discovery of Program Properties.
Yannis Smaragdakis
Published in:
SPIN (2008)
Keyphrases
</>
knowledge base
domain knowledge
knowledge discovery
database
neural network
real time
decision making
case study
pattern discovery
structural properties
combining multiple
meta level
qualitative reasoning
legal reasoning
scientific discovery
control program