Boolean negation and all that.

Published in: J. Philos. Log. (1990)

Keyphrases

real valued
logic programming
boolean functions
logic programs
deductive databases
boolean queries
case study
compositional semantics
database
real world
machine learning
genetic algorithm
social networks
data structure
fixpoint
stable models