Search results for 'Halil A. Guvenir' (try it on Scholar)

Did you mean: Halal A. Given
  1.  17
    Halil A. Guvenir & Varol Akman (1992). Problem Representation for Refinement. Minds and Machines 2 (3):267-282.
    In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements (...)
    Direct download (5 more)  
    Export citation  
    My bibliography