Negation, material equivalence, and conditioned nonconjunction: completeness and duality.

Gerald J. Massey

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

datalog programs
logic programming
logic programs
linear programming
data sets
expert systems
query answering
data mining
information retrieval
social networks
objective function
np hard
predicate logic
compositional semantics