Switch to: References

Add citations

You must login to add citations.
  1. A metatheory of a mechanized object theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Beyond the Purely Cognitive: Belief Systems, Social Cognitions, and Metacognitions As Driving Forces in Intellectual Performance.Alan H. Schoenfeld - 1983 - Cognitive Science 7 (4):329-363.
    This study explores the way that belief systems, interactions with social or experimental environments, and skills at the “control” level in decision‐making shape people's behavior as they solve problems. It is argued that problem‐solvers' beliefs (not necessarily consciously held) about what is useful in mathematics may determine the set of “cognitive resources” at their disposal as they do mathematics. Such beliefs may, for example, render inaccessible to them large bodies of information that are stored in long‐term memory and that are (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Natural language directed inference from ontologies.Chris Mellish & Jeff Z. Pan - 2008 - Artificial Intelligence 172 (10):1285-1315.
    Download  
     
    Export citation  
     
    Bookmark  
  • Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.
    Download  
     
    Export citation  
     
    Bookmark  
  • Rippling: A heuristic for guiding inductive proofs.Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland & Alan Smaill - 1993 - Artificial Intelligence 62 (2):185-253.
    Download  
     
    Export citation  
     
    Bookmark   3 citations