scientific article; zbMATH DE number 3298341
From MaRDI portal
zbMath0187.13302MaRDI QIDQ5578546
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automatically generating abstractions for planning, Tree search and quantum computation, Shortest paths between regular states of the Tower of Hanoi, Recent progress to formal approach of pattern recognition and scene analysis, Problem representations and formal properties of heuristic search, An integrated model of problem solver, Large-scale problem analysis and decomposition theory, The principle of selecten jumping searching and \(C,C_ 0',C^*\) algorithms, On the evolution of artificial intelligence, REF-ARF: A system for solving problems stated as procedures, Generalized means-ends analysis and artificial intelligence, A PLAN FORMATION SYSTEM FOR ASSEMBLY ROBOTS, Finding resolution proofs and using duplicate goals in AND/OR trees, STRIPS: A new approach to the application of theorem proving to problem solving, Breadth-first search: some surprising results, A program that computes limits using heuristics to evaluate the indeterminate forms, Rule-oriented methods in problem solving, Planning in a hierarchy of abstraction spaces, A problem-decomposition method using differences or equivalence relations between states
