The Dramatic True Story of the Frame Default (2014)
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.
View:
PDF
Citation:
To Appear In Journal of Philosophical Logic (2014).
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu