The McKinsey Axiom Is Not Canonical.

Robert Goldblatt

Published in: J. Symb. Log. (1991)

Keyphrases

machine learning
modal logic
inference rules
canonical form
databases
artificial intelligence
pairwise
image analysis
prior knowledge
semi supervised
multi dimensional