The following pages link to (Q5594195):
Displayed 15 items.
- A result on the computational complexity of heuristic estimates for the \(A^*\) algorithm (Q761039) (← links)
- A reduction-graph model of precedent in legal analysis (Q814517) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- On randomization and discovery (Q867607) (← links)
- A system simulating representation change phenomena while problem solving (Q929765) (← links)
- Macro-operators: A weak method for learning (Q1057073) (← links)
- Circumscription - a form of non-monotonic reasoning (Q1140440) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- Reasoning about model accuracy (Q1199915) (← links)
- The mechanical discovery of certain problem symmetries (Q1232907) (← links)
- An integrated model of problem solver (Q1242838) (← links)
- Rule-oriented methods in problem solving (Q1844088) (← links)
- Higher order rule characterization of heuristics of compass and straight edge constructions in geometry (Q1846745) (← links)
- Shifting vocabulary bias in speedup learning (Q1900986) (← links)
- Breadth-first search: some surprising results (Q2559927) (← links)