MetaDL: declarative program analysis for the masses.

Alexandru Dura Hampus Balldin

Published in: SPLASH (Companion Volume) (2019)

Keyphrases

knowledge representation
high level
domain independent
real time
knowledge acquisition
computer aided diagnosis
case study
three dimensional
declarative language
artificial intelligence
image processing
bayesian networks
multiscale
learning environment
relational databases