Breadth-first search: Some surprising results☆
References (19)
- et al.
GPS: a Case Study in Generality and Problem Solving
(1969) On representations of problems of reasoning about actions
- et al.
Principia Mathematica: to ∗56
(1962) - et al.
Empirical explorations with the logic theory machine: A case study in heuristics
- et al.
Human Problem Solving
(1972) The logic theory machine: A model heuristic program
- et al.
Heuristic search vs. exhaustive search
- et al.
Experiments in search
- et al.
A formal deductive problem-solving system
J. ACM
(1968)
There are more references available in the full text version of this article.
Cited by (7)
Non-resolution theorem proving
1977, Artificial IntelligenceTeaching Data Structures and Algorithms Through Games
2023, Lecture Notes in Networks and SystemsIncorporating Context Graph with Logical Reasoning for Inductive Relation Prediction
2022, SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information RetrievalMEN, GRAMMARS, AND MACHINES, A NEW DIRECTION FOR THE STUDY OF MAN
2018, On Language, Culture, and Religion: In Honor of Eugene A. NidaSeventy-five problems for testing automatic theorem provers
1986, Journal of Automated ReasoningWhat is a heuristic?
1985, Computational Intelligence
- ☆
Work partially supported by grant GM15769-04 from the National Institute of Health.
- 2
Present address: U.S. Naval Nuclear Power School, Mare Island, CA.
Copyright © 1973 Published by Elsevier B.V.