Clauses, and Capacities.

Sheldon R. Smith

Published in: Synth. (2002)

Keyphrases

search space
first order logic
background knowledge
horn clauses
consequence finding
data mining
genetic algorithm
artificial intelligence
image sequences
boolean satisfiability
boolean formulae