The attack as strong negation, part I.

Dov M. Gabbay Michael Gabbay

Published in: Log. J. IGPL (2015)

Keyphrases

countermeasures
logic programs
logic programming
machine learning
artificial intelligence
image sequences
deductive databases
table of contents
predicate logic
data corruption