On the philosophical significance of consistency proofs.
Michael D. ResnikPublished in: J. Philos. Log. (1974)
Keyphrases
- artificial intelligence
- cognitive science
- consistency checking
- theorem prover
- equational theories
- statistical significance
- theorem proving
- multi agent systems
- learning environment
- bayesian networks
- image processing
- global constraints
- decision making
- genetic algorithm
- formal proof
- maintaining consistency
- data mining