caa a22 4500 605539154 CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150401xx s 000 0 eng 10.1007/s10992-014-9332-8 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9332-8 Lifschitz Vladimir Department of Computer Science, University of Texas, 78712-1757, Austin, TX, USA aut The Dramatic True Story of the Frame Default [Elektronische Daten] [Vladimir Lifschitz] 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. Springer Science+Business Media Dordrecht, 2014 Frame problem nationallicence Commonsense reasoning nationallicence Default logic nationallicence Answer set programming nationallicence Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 163-176 0022-3611 44:2<163 2015 44 10992 https://doi.org/10.1007/s10992-014-9332-8 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9332-8 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Lifschitz Vladimir Department of Computer Science, University of Texas, 78712-1757, Austin, TX, USA aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 163-176 0022-3611 44:2<163 2015 44 10992