- Article
Equivalence of the Frame and Halting Problems
- Eric Dietrich and
- Chris Fields
The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undec...

