This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his "frame default" remained untested and suspect. But developments in some seemingly unrelated areas of computer science--logic programming and satisfiability solvers--eventually exonerated the frame default and turned it into a basis for important applications.

PDF

Journal of Philosophical Logic, Vol. 44, 2 (2015), pp. 163--176.

@article{dsfd, title={The Dramatic True Story of the Frame Default}, author={Vladimir Lifschitz}, volume={44}, journal={Journal of Philosophical Logic}, number={2}, pages={163--176}, url="http://www.cs.utexas.edu/users/ai-lab?dsfd", year={2015} }