Recognizing Unnecessary Clauses in Resolution Based Systems.

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

Keyphrases

consequence finding
computer systems
data sets
website
expert systems
intelligent systems
constraint satisfaction problems
complex systems
first order logic
multimedia
video sequences
search space
mobile devices
orders of magnitude
constraint satisfaction
inductive logic programming