scientific article; zbMATH DE number 3313863
From MaRDI portal
Publication:5594195
Cited in
(18)- 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
- John McCarthy's legacy
- Two ways to scare a Gruffalo
- The computational complexity of avoiding spurious states in state space abstraction
- 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5594195)
