Mathematical Argumentation and Proof Supporting a Complex Cognitive Skill.

Daniel Sommerhoff Stefan Ufer Ingo Kollar

Published in: ICLS (2016)

Keyphrases

high level
complex systems
theorem proving
skill acquisition
real world
artificial intelligence
decision support
higher level
computational model
computational models
cognitive processes
technical systems
skills needed