REF-ARF: A system for solving problems stated as procedures

DOI10.1016/0004-3702(70)90003-2zbMath0203.49403OpenAlexW2018646682MaRDI QIDQ2541849

Richard Fikes

Publication date: 1970

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

Full work available at URL: https://doi.org/10.1016/0004-3702(70)90003-2

Related Items

The complexity of constraint satisfaction revisited, Symbolic reasoning among 3-D models and 2-D images, Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms, CAL: A theoretical background of constraint logic programming and its applications, On the arc consistency problem, Planning with Incomplete Information, Interval propagation to reason about sets: Definition and implementation of a practical language, Constraint satisfaction using constraint logic programming, New methods for proving the impossibility to solve problems through reduction of problem spaces, Alternative descriptions in line drawing analysis, A relaxation approach to splitting in an automatic theorem prover, Inferring the positions of bodies from specified spatial relationships, \(\Pi\)-representation: A clause representation for parallel search, Consistency in networks of relations, Backtracking in recursive computations, On the evolution of artificial intelligence, The correctness of nondeterministic programs, REF-ARF: A system for solving problems stated as procedures, A paradigm for reasoning by analogy, Computer proofs of limit theorems, Breadth-first search: some surprising results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• REF-ARF: A system for solving problems stated as procedures
• Backtrack Programming
• Computer Design of Electricity Supply Networks by a Heuristic Method
• Nondeterministic Algorithms