Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria.

Leo Bachmair Harald Ganzinger

Published in: LPAR (1992)

Keyphrases

selection criteria
theorem proving
temporal resolution
consequence finding
high resolution
defeasible logic
multi criteria
inductive logic programming
database
data sets
neural network
fuzzy logic
model selection
frame rate
evaluation criteria
redundant data