Broadening mathematical reasoning in computing (abstract only).
Douglas BaldwinPublished in: SIGCSE (2013)
Keyphrases
- knowledge base
- human reasoning
- knowledge representation
- automated reasoning
- reasoning tasks
- machine learning
- case based reasoner
- spatial reasoning
- reasoning process
- knowledge representation and reasoning
- computer algebra systems
- mathematical proofs
- resource bounded
- reasoning systems
- probabilistic logic
- high level
- artificial intelligence
- genetic algorithm