Switch to: References

Add citations

You must login to add citations.
  1. A Model of Competence for Counting.Donald A. Smith, James G. Greeno & Theresa M. Vitolo - 1989 - Cognitive Science 13 (2):183-211.
    A theoretical framework Is presented that distinguishes among three knowledge sources that form the basis for generative performance. The three knowledge sources, termed conceptual, procedural, and utilizational competence, were implemented as a computational model that derives plans for counting procedures. In a previous analysis, Greeno, Riley, and Gelman (1984) developed a characterization of the conceptual competence (implicit understanding of general concepts and principles) associated with the skill of counting and related conceptual competence to various models of performance. In the current (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.
    Download  
     
    Export citation  
     
    Bookmark  
  • An experimental program transformation and synthesis system.John Darlington - 1981 - Artificial Intelligence 16 (1):1-46.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
    Download  
     
    Export citation  
     
    Bookmark   2 citations