Rule-oriented methods in problem solving
References (14)
- et al.
Extracting information from resolution proof trees
Artificial Intelligence
(1971) Problem solving procedures for efficient syntactic analysis
An approach to heuristic problem-solving and theorem proving in the propositional calculus
On representations of problems of reasoning about actions
Theory of problem solving
(1969)Sufficient conditions for the success of GPS
J. ACM
(October 1969)- et al.
A case study in generality and problem solving
(1969)
There are more references available in the full text version of this article.
Cited by (2)
The mechanical discovery of certain problem symmetries
1977, Artificial IntelligenceThe Continuous Audit of Online Systems<sup>1</sup>
2018, Continuous Auditing: Theory and Application
Copyright © 1973 Published by Elsevier B.V.