Using Matings for Pruning Connection Tableaux.

Published in: CADE (1998)

Keyphrases

search space
modal logic
decision procedures
data mining
pruning method
functional dependencies
artificial neural networks
pruning algorithm
data structure
search algorithm
multiscale
knowledge base
temporal logic
information systems
pruning strategy
genetic algorithm
neural network