Granularity-Adaptive Proof Presentation

Authors:
Marvin Schiller;Christoph Benzmüller
Affiliations:
German Research Center for Artificial Intelligence (DFKI), Bremen, Germany and Saarland University, Saarbrücken, Germany;International University in Germany, Bruchsal, Germany
Venue:
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
Year:
2009

Granularity

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Textbook proofs meet formal logic: the problem of underspecification and granularity

MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
A generic modular data structure for proof attempts alternating on ideas and granularity

MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management

Hi-index	0.00