Elimination of Ghost Variables in Program Logics.

Martin Hofmann Mariela Pavlova

Published in: TGC (2007)

Keyphrases

random variables
expressive power
data sets
relevant variables
variable selection
modal logic
artificial intelligence
real time
expert systems
genetic algorithm
inference rules
neural network
causal models
continuous variables
computer programs
programming environment
program execution
control program