Explaining Counterexamples Using Causality.

Ilan Beer Shoham Ben-David Hana Chockler Avigail Orni Richard J. Trefler

Published in: CAV (2009)

Keyphrases

generating explanations
causal ordering
causal relationships
real time
databases
genetic algorithm
causal models
temporal ordering
case study
three dimensional
data structure
hidden markov models
error correction
causal relations