A Note on Negation: A PCS-Completion of Semilattices.

Léonard Kwuida

Published in: ICFCA (2006)

Keyphrases

logic programs
personal computer
logic programming
deductive databases
real world
onset detection
predicate logic
high end
data structure
clustering algorithm
learning environment
multi agent
bayesian networks
knowledge base
artificial intelligence
knuth bendix
real time