The Propositional Theory of Closure.

Aisling E. McCluskey David W. McIntyre W. S. Watson

Published in: Exp. Math. (2007)

Keyphrases

deductive reasoning
databases
propositional logic
general theory
genetic algorithm
knowledge base
bayesian networks
multi agent
first order logic
theoretical foundation
information theory
formal model
formal theory