Dependence of variables construed as an atomic formula.
Jouko A. VäänänenWilfrid HodgesPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- universally quantified
- relevant variables
- propositional formulas
- boolean formula
- artificial neural networks
- boolean variables
- random variables
- input variables
- state variables
- variable selection
- situation calculus
- database
- search algorithm
- feature selection
- information systems
- artificial intelligence
- information retrieval
- neural network
- data sets
- real time