Negation Can Be Exponentially Powerful

Leslie G. Valiant

Published in: STOC (1979)

Keyphrases

logic programs
high level
user friendly
deductive databases
real time
databases
decision making
horn clauses
predicate logic
real world
multimedia
similarity measure
data structure
highly efficient