Connection Tableaux with Lazy Paramodulation.

Andrey Paskevich

Published in: IJCAR (2006)

Keyphrases

inference rules
decision procedures
modal logic
theorem proving
first order logic
functional dependencies
database
image processing
clustering algorithm
objective function
support vector
preprocessing
automated reasoning
proof procedure