A Three-Valued Declarative Debugging Scheme.

Published in: ACSC (2000)

Keyphrases

high level
website
domain independent
data sets
neural network
machine learning
first order logic
classification scheme
secret sharing scheme
hardware designs