Logic-Based Regulatory Conformance Checking.

Nikhil Dinesh Aravind K. Joshi Insup Lee Oleg Sokolsky

Published in: Monterey Workshop (2007)

Keyphrases

knowledge representation
consistency checking
real world
decision trees
database systems
real time
machine learning
learning algorithm
website
multiscale
computational complexity
multiresolution