REF-ARF: A System for Solving Problems Stated as Procedures

@article{Fikes1970REFARFAS,
  title={REF-ARF: A System for Solving Problems Stated as Procedures},
  author={Richard Fikes},
  journal={Artif. Intell.},
  year={1970},
  volume={1},
  pages={27-120}
}
This paper describes an effort to design a heuristic problem-solving program which accepts problems stated in a nondeterministic programming language and applies constraint satisfaction methods and heuristic search methods to find solutions. The use of nondeterministic programming languages for stating problems is discussed, and REF, the language accepted by the problem solver ARF, is described. Various extensions to ref are considered. The conceptual structure of the program is described in… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 58 CITATIONS, ESTIMATED 88% COVERAGE

FILTER CITATIONS BY YEAR

1971
2016

CITATION STATISTICS

  • 3 Highly Influenced Citations