Universal Variables in Disconnection Tableaux.

Reinhold Letz Gernot Stenz

Published in: TABLEAUX (2003)

Keyphrases

modal logic
relevant variables
functional dependencies
independent variables
data sets
neural network
information retrieval
genetic algorithm
search engine
decision trees
random variables
mobile environments
automated reasoning
low bandwidth