Login / Signup
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.
Sergio Gutiérrez Santos
Darren Pearce
Eirini Geraniou
Manolis Mavrikis
Published in:
Diagrams (2008)
Keyphrases
</>
dependency graphs
analogical reasoning
reasoning process
solving problems
dependency graph
artificial intelligence
case based reasoning
mathematical proofs
reasoning processes
multiple representations
procedural knowledge
information processing
reasoning mechanisms
automated reasoning
model based reasoning
human reasoning
explanation based learning
knowledge representation
declarative knowledge
word problems
human problem solving
reasoning systems
knowledge base
legal reasoning
reasoning tasks
spatial reasoning
knowledge structures
formal models
first order logic
machine learning
diagrammatic reasoning
data structure
complex problem solving
knowledge acquisition
decision support
cognitive processing
neural network
case retrieval
control knowledge