Backward Trace Slicing for Conditional Rewrite Theories.

María Alpuente Demis Ballis Francisco Frechina Daniel Romero

Published in: LPAR (2012)

Keyphrases

theoretical framework
random field model
search engine
multiscale
conditional probabilities
cognitive psychology
forward and backward
cp nets
forward backward
decision making
computational model
query optimization
query rewriting
formal models
conditional logic
design theory