Mathematical reasoning at the crossroads.
Peter B. HendersonMurali SitaramanPublished in: Inroads (2012)
Keyphrases
- human reasoning
- mathematical proofs
- reasoning systems
- knowledge representation
- social sciences
- knowledge base
- reasoning engine
- reasoning process
- computational properties
- scientific discovery
- computer algebra systems
- causal inferences
- model based reasoning
- automated reasoning
- spatial reasoning
- formal models
- analogical reasoning
- mathematical theory
- probabilistic reasoning
- mathematical models
- description logics
- bayesian networks