Publication:5594195
From MaRDI portal
zbMath0197.14901MaRDI QIDQ5594195
Publication date: 1968
Related Items
A result on the computational complexity of heuristic estimates for the \(A^*\) algorithm, A reduction-graph model of precedent in legal analysis, Introduction: Progress in formal commonsense reasoning, On randomization and discovery, A system simulating representation change phenomena while problem solving, Macro-operators: A weak method for learning, Circumscription - a form of non-monotonic reasoning, Theory construction in psychology: The interpretation and integration of psychological data, Reasoning about model accuracy, The mechanical discovery of certain problem symmetries, An integrated model of problem solver, Rule-oriented methods in problem solving, Higher order rule characterization of heuristics of compass and straight edge constructions in geometry, Shifting vocabulary bias in speedup learning, Breadth-first search: some surprising results