The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.
John K. SlaneyPublished in: CADE (1994)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- theorem prover
- decision procedures
- probabilistic reasoning
- reasoning tasks
- automated verification
- early stage
- computer science
- proof theory
- valued logic
- probability distribution
- knowledge representation and reasoning
- propositional satisfiability
- belief networks
- back propagation
- bayesian networks
- learning algorithm
- prime implicants
- data mining