Tests as Epistemic Updates.

Bernd van Linder Wiebe van der Hoek John-Jules Ch. Meyer

Published in: ECAI (1994)

Keyphrases

real world
test data
post hoc
database
data mining
similarity measure
evolutionary algorithm
statistical tests
epistemic logic
incremental maintenance
computation tree logic