scientific article; zbMATH DE number 3298341

zbMath0187.13302MaRDI QIDQ5578546

George W. Ernst, Allen Newell

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer science and automata

Related Items (19)

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

This page was built for publication: