The Consistency of the Axiom of Choice with Zermelo-Fraenkel (ZF) Set Theory: An Automated Deduction.
Jack HornerPublished in: IC-AI (2010)
Keyphrases
- automated deduction
- set theory
- inference rules
- first order logic
- theorem proving
- theorem prover
- probability theory
- fuzzy set theory
- partial order
- rough sets
- propositional logic
- mathematical morphology
- rough set theory
- deductive databases
- logic programming
- algebraic geometry
- knowledge representation
- description logics
- probabilistic model
- image analysis
- expert systems
- decision trees
- knowledge base
- computer vision
- artificial intelligence
- machine learning
- databases