VUBIR (Vrije Universiteit Brussel) · 1988 · 25 citations · 0 references
ComputingComputer ScienceCognitive PsychologyKnowledge RepresentationAutomated ReasoningDeductive ReasoningProblem RepresentationProblem SolvingProblem-solving ModelProblem-solving StrategiesInference ProcessesKnowledge-based InferenceProblem Representation In ComputationReasoning ModelsStructural Reasoning