Experiments in automatic learning for a multipurpose hueristic program

DOI10.1145/362515.362560zbMath0214.42602OpenAlexW2062315995WikidataQ128253232 ScholiaQ128253232MaRDI QIDQ5617288

C. D. Farrell, James R. Slagle

Publication date: 1971

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

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

Mathematics Subject Classification ID

Related Items (11)

Experiments in the heuristic use of past proof experience ⋮ A new approach to the symbolic factorization of multivariate polynomials ⋮ An analysis of alpha-beta pruning ⋮ Problem representations and formal properties of heuristic search ⋮ Finding resolution proofs and using duplicate goals in AND/OR trees ⋮ Experiments with a heuristic theorem-proving program for predicate calculus with equality ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms ⋮ A comparison and evaluation of three machine learning procedures as applied to the game of checkers ⋮ The \(Q^*\) algorithm - a search strategy for a deductive question-answering system ⋮ Unnamed Item ⋮ MRPPS?An interactive refutation proof procedure system for question-answering

This page was built for publication: Experiments in automatic learning for a multipurpose hueristic program