Plus Distributivity Axioms.

Siva Anantharaman Paliath Narendran Michaël Rusinowitch

Published in: J. Autom. Reason. (2004)

Keyphrases

knowledge base
first order logic
axiomatic characterization
artificial intelligence
data sets
genetic algorithm
search engine
probability distribution
information extraction
complete axiomatization