Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement.

Eric Bodden Patrick Lam

Published in: RV (2010)

Keyphrases

data sets
integrity constraints
neural network
knowledge base
three dimensional
multi agent
tutorial dialogue