Defining Double Negation Elimination.

Published in: Log. J. IGPL (2000)

Keyphrases

logic programs
deductive databases
neural network
logic programming
relational databases
information retrieval
database
data sets
databases
artificial intelligence
objective function
horn clauses
compositional semantics