An exponential gap with the removal of one negation gate.

Shao Chin Sung Keisuke Tanaka

Published in: Inf. Process. Lett. (2002)

Keyphrases

logic programs
compositional semantics
logic programming
exponential size
high level
database systems
search algorithm
deductive databases
linear complexity
containment of conjunctive queries
neural network
artificial intelligence
power consumption
horn clauses
nano scale