A Formal Deductive Problem-Solving System

DOI10.1145/321479.321487zbMath0246.68015OpenAlexW2166976099MaRDI QIDQ5659069

Earl B. Hunt, J. Ross Quinlan

Publication date: 1968

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321479.321487

Mathematics Subject Classification ID

Related Items

On the evolution of artificial intelligence ⋮ Heuristic search viewed as path finding in a graph ⋮ Generalized means-ends analysis and artificial intelligence ⋮ Breadth-first search: some surprising results