Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution.

Matthew Gwynne Oliver Kullmann

Published in: J. Autom. Reason. (2014)

Keyphrases

consequence finding
user input
theorem proving
high quality
conflict detection
low resolution
input data
information systems
computer vision
database systems
image sequences
data mining
knowledge base
decision making
data quality
inductive inference
sampling rate
genetic algorithm
machine learning