Rule-oriented methods in problem solving

DOI10.1016/0004-3702(73)90012-XzbMath0282.68043OpenAlexW2005345381MaRDI QIDQ1844088

Frank H. George, Masamichi Shimura

Publication date: 1973

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(73)90012-x

Mathematics Subject Classification ID

Related Items (1)

The mechanical discovery of certain problem symmetries

Cites Work

• Extracting information from resolution proof trees
• Sufficient Conditions for the Success of GPS
• Heuristic programming: A survey
• A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rule-oriented methods in problem solving