The axioms strike back: testing with concepts and axioms in C++.

Anya Helene Bagge Valentin David Magne Haveraaen

Published in: GPCE (2009)

Keyphrases

knowledge base
search algorithm
first order logic
medical terminology
data sets
artificial intelligence
test set
databases
information systems
website
database systems
similarity measure
bayesian networks
data model
domain knowledge
test cases