The Axiom of Infinity in Quine's New Foundations.

J. Barkley Rosser

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

Keyphrases

artificial intelligence
inference rules
modal logic
real world
data sets
databases
natural language
relational databases
knowledge representation
bayesian networks
expert systems
association rules
text classification