The Dramatic True Story of the Frame Default
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605539154 | ||
| 003 | CHVBK | ||
| 005 | 20210128100905.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150401xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10992-014-9332-8 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10992-014-9332-8 | ||
| 100 | 1 | |a Lifschitz |D Vladimir |u Department of Computer Science, University of Texas, 78712-1757, Austin, TX, USA |4 aut | |
| 245 | 1 | 4 | |a The Dramatic True Story of the Frame Default |h [Elektronische Daten] |c [Vladimir Lifschitz] |
| 520 | 3 | |a 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. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Frame problem |2 nationallicence | |
| 690 | 7 | |a Commonsense reasoning |2 nationallicence | |
| 690 | 7 | |a Default logic |2 nationallicence | |
| 690 | 7 | |a Answer set programming |2 nationallicence | |
| 773 | 0 | |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 163-176 |x 0022-3611 |q 44:2<163 |1 2015 |2 44 |o 10992 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-014-9332-8 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10992-014-9332-8 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Lifschitz |D Vladimir |u Department of Computer Science, University of Texas, 78712-1757, Austin, TX, USA |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 163-176 |x 0022-3611 |q 44:2<163 |1 2015 |2 44 |o 10992 | ||