Liberating classical negation from falsity conditions.

Damián Enrique Szmuc Hitoshi Omori

Published in: ISMVL (2022)

Keyphrases

truth values
sufficient conditions
deductive databases
genetic algorithm
neural network
logic programming
real time
search engine
image processing
case study
high level
multiscale
objective function
video sequences
classical methods
containment of conjunctive queries