Tautologies over implication with negative literals.

Hervé Fournier Danièle Gardy Antoine Genitrini Marek Zaionc

Published in: Math. Log. Q. (2010)

Keyphrases

horn clauses
positive and negative
inductive logic programming
image processing
database systems
neural network
machine learning
bayesian networks