1. Andrea Kohlhase & Michael Kohlhase, Modeling Task Experience in User Assistance Systems.
    One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — a prerequisite for provisioning adequate help. In contrast to level-based approaches we propose an ontology-based model, which allows fine-grained modeling of task experience using the concepts of the task domain as granules. The model is semantic in the sense that it allows to take advantage of the relations between concepts to provide (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Michael Kohlhase & Andrea Kohlhase, Reexamining the MKM Value Proposition: From Math Web Search to Math Web Research.
    The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and finding) mathematical theories, statements, and objects. This global value proposition has been used to motivate the pursuit of technologies that can add machine support to these knowledge management tasks. But this (rather naive) technology-centered motivation takes a view merely from the global (macro) perspective, and almost (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Michael Kohlhase & Andrea Kohlhase, Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
    Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing , in which an object of interest is viewed in terms of well-understood mathematical structures. The new perspective not only allows to deepen the understanding of e resp. object, it also facilitates new insights. We propose a model for framing in the context of theory graphs, and show how framing can be exploited to enhance the interaction with MKM systems. We (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation