• CREEK and Description Logics 

      Opheim, Mads (Master thesis, 2014)
      Creek is a system for diagnosis and problem solving. It makes heavily use of general knowledge, and is intended for open and weak theory domains. The system uses this general knowledge in combination with experiences from ...