乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T22:33:58Z","timestamp":1720218838991},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T00:00:00Z","timestamp":1411689600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10992-014-9332-8","type":"journal-article","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T09:29:48Z","timestamp":1411637388000},"page":"163-176","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Dramatic True Story of the Frame Default"],"prefix":"10.1007","volume":"44","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,26]]},"reference":[{"key":"9332_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C. (2003). Knowledge Representation, Reasoning and Declarative Problem Solving: Cambridge University Press.","DOI":"10.1017\/CBO9780511543357"},{"key":"9332_CR2","unstructured":"Bidoit, N., & Froidevaux, C. (1987). Minimalism subsumes default logic and circumscription in stratified logic programming. In: Proceedings LICS-87."},{"key":"9332_CR3","unstructured":"Dimopoulos, Y., Nebel, B., Koehler, J. (1997). Encoding planning problems in non-monotonic logic programs In Steel, S., & Alami, R. (Eds.), Proceedings of European Conference on Planning, (pp. 169\u2013181): Springer."},{"key":"9332_CR4","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T. (2012). Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning: Morgan and Claypool Publishers."},{"key":"9332_CR5","unstructured":"Gelfond, M. (2008). Answer sets In van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation: Elsevier."},{"key":"9332_CR6","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 365\u2013385.","journal-title":"New Generation Computing"},{"key":"9332_CR7","unstructured":"Gomes, C. P., Kautz, H., Sabharwal, A., Selman, B. (2008). Satisfiability solvers In van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation, (pp. 89\u2013134): Elsevier."},{"key":"9332_CR8","doi-asserted-by":"crossref","unstructured":"Haas, A. (1987). The case for domain-specific frame axioms In Brown, F.M. (Ed.), The Frame Problem in Artificial Intelligence, Proceedings 1987 Workshop.","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"issue":"3","key":"9332_CR9","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S Hanks","year":"1987","unstructured":"Hanks, S., & McDermott, D. (1987). Nonmonotonic logic and temporal projection. Artificial Intelligence, 33 (3), 379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"9332_CR10","unstructured":"Kautz, H., & Selman, B. (1992). Planning as satisfiability. In: Proceedings of European Conference on Artificial Intelligence (ECAI)."},{"issue":"3","key":"9332_CR11","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F. (2006). The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7 (3), 499\u2013562.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9332_CR12","unstructured":"Lifschitz, V. (2008). What is answer set programming? In: Proceedings of the AAAI Conference on Artificial Intelligence, (pp. 1594\u20131597): MIT Press."},{"key":"9332_CR13","unstructured":"Lloyd, J. (1987). Foundations of Logic Programming: Springer-Verlag. second, extended edition."},{"key":"9332_CR14","unstructured":"Marek, V., & Truszczynski, M. (1999). Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, (pp. 375\u2013398): Springer Verlag."},{"issue":"3","key":"9332_CR15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"26","author":"J McCarthy","year":"1986","unstructured":"McCarthy, J. (1986). Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26 (3), 89\u2013116.","journal-title":"Artificial Intelligence"},{"key":"9332_CR16","unstructured":"McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence In Meltzer, B., & Michie, D. (Eds.), Machine Intelligence (Vol. 4, pp. 463\u2013502). Edinburgh: Edinburgh University Press."},{"key":"9332_CR17","doi-asserted-by":"crossref","unstructured":"Mueller, E. (2006). Commonsense reasoning: Elsevier.","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"9332_CR18","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I. (1999). Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25, 241\u2013273.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9332_CR19","unstructured":"Niemel\u00e4, I., & Simons, P. (1997). Smodels\u2014an implementation of the stable model and well-founded semantics for normal logic programs. In: Proceedings 4th Int\u2019l Conference on Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Artificial Intelligence 1265), (pp. 420\u2013429): Springer."},{"key":"9332_CR20","doi-asserted-by":"crossref","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M. (2001). An A-Prolog decision support system for the Space Shuttle. In: Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL).","DOI":"10.1007\/3-540-45241-9_12"},{"key":"9332_CR21","unstructured":"Pylyshyn, Z. W. (1987). Robot\u2019s Dilemma: The Frame Problem in Artificial Intelligence. Westport: Greenwood Publishing Group Inc."},{"key":"9332_CR22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"9332_CR23","doi-asserted-by":"crossref","unstructured":"Reiter, R. (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, (pp. 359\u2013380): Academic Press.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"9332_CR24","doi-asserted-by":"crossref","unstructured":"Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems: MIT Press.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"9332_CR25","unstructured":"Sandewall, E. (1994). Features and Fluents, vol. 1: Oxford University Press."},{"key":"9332_CR26","doi-asserted-by":"crossref","unstructured":"Schubert, L. (1990). Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions In Kyburg, H., Loui, R., Carlson, G. (Eds.), Knowledge Representation and Defeasible Reasoning, (pp. 23\u201367): Kluwer.","DOI":"10.1007\/978-94-009-0553-5_2"},{"key":"9332_CR27","unstructured":"Shanahan, M. (1997). Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia: MIT Press."},{"key":"9332_CR28","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H Turner","year":"1997","unstructured":"Turner, H. (1997). Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming, 31, 245\u2013298.","journal-title":"Journal of Logic Programming"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9332-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9332-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9332-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T07:18:09Z","timestamp":1565853489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9332-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,26]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9332"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9332-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,26]]}}}