REF-ARF: A system for solving problems stated as procedures
From MaRDI portal
Publication:2541849
DOI10.1016/0004-3702(70)90003-2zbMath0203.49403OpenAlexW2018646682MaRDI QIDQ2541849
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
