Intuitive Reasoning in Formalized Mathematics with Elfe.
Maximilian DoréKrysia BrodaPublished in: CSEDU (Selected Papers) (2018)
Keyphrases
- knowledge base
- computer science
- qualitative reasoning
- machine learning
- reasoning systems
- uncertain information
- computer algebra systems
- deductive reasoning
- analogical reasoning
- knowledge representation and reasoning
- fuzzy reasoning
- reasoning process
- automated reasoning
- knowledge representation
- database
- meta level
- consistency checking
- formal models
- probabilistic reasoning
- reasoning problems
- rule based reasoning
- reasoning mechanism
- mathematics education
- neural network