Generalised Handling of Variables in Disconnection Tableaux.

Reinhold Letz Gernot Stenz

Published in: IJCAR (2004)

Keyphrases

variable selection
mobile environments
functional dependencies
database
information retrieval
genetic algorithm
wireless communication
independent variables
transaction model
decision procedures
relevant variables