Constructive negation by bottom-up computation of literal answers.

Javier Álvez Paqui Lucio Fernando Orejas

Published in: SAC (2004)

Keyphrases

efficient computation
neural network
visual attention
genetic algorithm
logic programming
truth values
databases
database systems
lower bound
relational databases
email
eye tracking
deductive databases
question answer
web snippets