On the equivalence of systems of rules and systems of axioms in illative combinatory logic.

Martin W. Bunder

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

learning systems
complex systems
data sets
databases
knowledge base
bayesian networks
expert systems
intelligent systems
computer systems
knowledge based systems
background knowledge
retrieval systems
rule based systems