{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:25:24Z","timestamp":1725686724399},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_1","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["To Vladimir Lifschitz on His 65th Birthday"],"prefix":"10.1007","author":[{"given":"Jack","family":"Minker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann Pub., Washington, D.C (1988)"},{"key":"1_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-24609-1_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Borchert","year":"2003","unstructured":"Borchert, P., Anger, C., Schaub, T., Truszczy\u0144ski, M.: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 3\u20137. Springer, Heidelberg (2003)"},{"key":"1_CR3","first-page":"17","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"Y. Bar-Hillel","year":"1990","unstructured":"Bar-Hillel, Y., McCarthy, J., Selfridge, O.: Discussion of the paper: Programs with common sense. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy, pp. 17\u201320. Ablex, London (1990)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-52885-7_82","volume-title":"10th International Conference on Automated Deduction","author":"C. Baral","year":"1990","unstructured":"Baral, C., Lobo, J., Minker, J.: Generalized Well-founded Semantics for Logic Programs. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 102\u2013116. Springer, Heidelberg (1990)"},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Subrahmanian, V.S.: Stable and Extension Class Theory for Logic Programs and Default Logics. Journal of Automated Reasoning\u00a08(3), 345\u2013366 (1992)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un systeme de communication homme-machine en francais. Technical report, Groupe de Intelligence Artificielle Universitae de Aix-Marseille II, Marseille (1973)","key":"1_CR6"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"1_CR8","first-page":"615","volume-title":"We Will Show Them! Essays in Honour of Dov Gabbay","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P., Lifschitz, V.: Mathematical foundations of answer set programming. In: Artemov, S., Barringer, H., Avila Garcez, A.S., Lamb, L.C. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol.\u00a01, pp. 615\u2013664. King\u2019s College Publications, London (2005)"},{"unstructured":"Farris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proceedings IJCAI 2007, pp. 372\u2013379 (2007)","key":"1_CR9"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"unstructured":"Gelfond, M.: On Stratified Autoepistemic Theories. In: Proc. AAAI 1987, pp. 207\u2013211 (1987)","key":"1_CR11"},{"doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: Negation as Failure Using Tight Derivations for General Logic Programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 1149\u20131176. Morgan Kaufmann (1988)","key":"1_CR12","DOI":"10.1016\/B978-0-934613-40-8.50007-5"},{"unstructured":"Gelfond, M.: Answer sets in kr: a personal perspective. Association for Logic Programming\u00a019(3) (2006)","key":"1_CR13"},{"unstructured":"Ginsberg, M.L. (ed.): Readings in Nonmonotonic Reasoning. Morgan Kaufmann Pub. (1987)","key":"1_CR14"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-642-04238-6_50","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: The Conflict-Driven Answer Set Solver clasp: Progress Report. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 509\u2013514. Springer, Heidelberg (2009)"},{"unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proc. 5th International Conference and Symposium on Logic Programming, Seattle, Washington, August 15-19, pp. 1070\u20131080 (1988)","key":"1_CR16"},{"unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proc. 5th International Conference on Logic Programming, pp. 579\u2013597 (1990)","key":"1_CR17"},{"issue":"2\/3&4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017(2\/3&4), 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"1_CR19","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a02, 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: preliminary report. In: Proceedings AAAI 1998, pp. 623\u2013630 (1998)","key":"1_CR20"},{"doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V., Rabinov, A.: What are the limitations of the situation calculus? In: Boyer, R.S. (ed.) Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, pp. 167\u2013180. Kluwer Academic Publishers (1991)","key":"1_CR21","DOI":"10.1007\/978-94-011-3488-0_8"},{"volume-title":"Logic and Databases","year":"1978","unstructured":"Gallaire, H., Minker, J. (eds.): Logic and Databases. Plenum Press, New York (1978)","key":"1_CR22"},{"doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded Sets and Well-founded Semantics for General Logic Programs. In: Proc. 7th Symposium on Principles of Database Systems, pp. 221\u2013230 (1988)","key":"1_CR23","DOI":"10.1145\/308386.308444"},{"unstructured":"Hanks, S., McDermott, D.: Default reasoning, nonmonotonic logics and the frame problem. In: AAAI, pp. 328\u2013333 (1986)","key":"1_CR24"},{"unstructured":"Kuehner, D.: A Note on the Relation Between Resolution and Maslov\u2019s Inverse Method. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 6, pp. 73\u201376. American Elsevier Publishing Company (1971)","key":"1_CR25"},{"unstructured":"Lifschitz, V., Gelfond, M.: Compiling circumscriptive theories into logic programs. In: Proceedings AAAI-1988, pp. 455\u2013459 (1988)","key":"1_CR26"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: The efficiency of an algorithm of integer programming: a probabilistic analysis. Proceedings of the American Mathematical Society\u00a079(1) (1980)","key":"1_CR27","DOI":"10.2307\/2042390"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1137\/0212021","volume":"12","author":"B. Lifschitz","year":"1983","unstructured":"Lifschitz, B., Pittel, V.: The worst and the most probable performance of a class of set-covering algorithms. SIAM Journal of Computing\u00a012(2), 329\u2013346 (1983)","journal-title":"SIAM Journal of Computing"},{"unstructured":"Lifschitz, V.: Computing circumscription. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence 1985, pp. 121\u2013127. Morgan Kaufmann (August 1985)","key":"1_CR29"},{"volume-title":"Mechanical Theorem Proving in the USSR: The Leningrad School","year":"1986","unstructured":"Lifschitz, V. (ed.): Mechanical Theorem Proving in the USSR: The Leningrad School. Delphic Associates, Falls Church, Virginia (1986)","key":"1_CR30"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Formal theories of action. In: Brown, F. (ed.) The Frame Problem in Artificial Intelligence. Morgan Kaufmann, San Mateo (1987)","key":"1_CR31","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: On the semantics of STRIPS. In: Georgeff, M.P., Lansky, A.L. (eds.) Reasoning about Actions and Plans, San Mateo, California. Morgan Kaufmann (1987)","key":"1_CR32","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"issue":"1","key":"1_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00245018","volume":"5","author":"V. Lifschitz","year":"1989","unstructured":"Lifschitz, V.: What is the inverse method? Journal of Automated Reasoning\u00a05(1), 1\u201323 (1989)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"Lifschitz, V.: Circumscription. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Logic Programming and Artificial Intelligence, vol.\u00a03, pp. 89\u2013148. Oxfrod University Press, Washington, D.C. (1993)","key":"1_CR34"},{"unstructured":"Lifschitz, V.: Inventing stable models: a personal perspective. Association for Logic Programming\u00a019(3) (2006)","key":"1_CR35"},{"doi-asserted-by":"crossref","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press (1992)","key":"1_CR36","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V., McCain, N., Remolina, E., Tacchella, A.: Getting to the airport: The oldest planning problem in AI. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, ch.7, pp. 157\u2013165. Kluwer Academic Publishers, Boston (2000)","key":"1_CR37","DOI":"10.1007\/978-1-4615-1567-8_7"},{"doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL)\u00a07(3) (2006)","key":"1_CR38","DOI":"10.1145\/1149114.1149117"},{"issue":"4","key":"1_CR39","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"unstructured":"Lifschitz, V., Ren, W.: A modular action description language. In: Proceedings AAAI (2006)","key":"1_CR40"},{"unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings ICLP 1994, pp. 23\u201337 (1994)","key":"1_CR41"},{"unstructured":"Maslov, S.J.: Proof-Search Strategies for Methods of the Resolution Type. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 6, pp. 77\u201390. American Elsevier Publishing Company (1971)","key":"1_CR42"},{"unstructured":"McCarthy, J.: Programs with common sense. Mechanization of Thought Processes\u00a01 (1959)","key":"1_CR43"},{"doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions and causal laws (1963); Memo 2","key":"1_CR44","DOI":"10.21236\/AD0785031"},{"issue":"1 and 2","key":"1_CR45","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artificial Intelligence\u00a013(1 and 2), 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On Indefinite Databases and the Closed World Assumption. In: Loveland, D.W. (ed.) CADE 1982. LNCS, vol.\u00a0138, pp. 292\u2013308. Springer, Heidelberg (1982)"},{"unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Pub. (1988)","key":"1_CR47"},{"issue":"2, 3 and 4","key":"1_CR48","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0743-1066(93)90028-F","volume":"17","author":"J. Minker","year":"1993","unstructured":"Minker, J.: An overview of nonmonotonic reasoning and logic programming. Journal of Logic Programming\u00a017(2, 3 and 4), 95\u2013126 (1993)","journal-title":"Journal of Logic Programming"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-20832-4_1","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"J. Minker","year":"2011","unstructured":"Minker, J.: Homage to Michael Gelfond on His 65\n                  th\n                 Birthday. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 1\u201311. Springer, Heidelberg (2011)"},{"unstructured":"Minker, J.: Reminiscences on the anniversary of 30 years of nonmonotonic reasoning. In: Brewka, G., Marek, W., Truszczynski, M. (eds.) Nonmonotonic Reasoning. Essays Celebrating its 30th Anniversary, pp. 295\u2013334. College Publications (2011); A volume of papers presented at NonMOn at 30 meeting, Lexington, KY, USA (October 2010)","key":"1_CR50"},{"issue":"1","key":"1_CR51","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1_CR52","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J., Rajasekar, A.: A fixpoint semantics for disjunctive logic programs. Journal of Logic Programming\u00a09(1), 45\u201374 (1990)","journal-title":"Journal of Logic Programming"},{"unstructured":"McCain, N., Turner, H.: Causal theories of action and change. In: AAAI\/IAAI, pp. 460\u2013465 (1997)","key":"1_CR53"},{"issue":"3\/4","key":"1_CR54","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3\/4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Simons, P.: Extending the Smodels system with cardinality and weight constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, ch.21, pp. 491\u2013521. Kluwer Academic Publishers, Boston (2000)","key":"1_CR55","DOI":"10.1007\/978-1-4615-1567-8_21"},{"key":"1_CR56","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","unstructured":"Pearce, D.: A New Logical Characterization of Stable Models and Answer Sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS (LNAI), vol.\u00a01216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"key":"1_CR57","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence\u00a047, 3\u201341 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"1_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-89982-2_9","volume-title":"Logic Programming","author":"D.J. Pearce","year":"2008","unstructured":"Pearce, D.J.: Sixty Years of Stable Models. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, p. 52. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programming. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, ch.5, pp. 193\u2013216. Morgan Kaufmann Pub., Washington, D.C (1988)","key":"1_CR59","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"unstructured":"Przymusinski, T.C.: Stationary semantics for disjunctive logic programs and deductive databases. In: Debray, S., Hermenegildo, M. (eds.) Proc. of the North American Conference on Logic Programming, Austin, Texas, pp. 40\u201362 (October 1990)","key":"1_CR60"},{"key":"1_CR61","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"issue":"1 and 2","key":"1_CR62","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013(1 and 2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"1_CR63","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge In Action","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge In Action. The MIT Press, Cambridge (2001)"},{"issue":"1","key":"1_CR64","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J.ACM\u00a012(1), 23\u201341 (1965)","journal-title":"J.ACM"},{"issue":"1\/2","key":"1_CR65","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Journal of Artificial Intelligence\u00a0138(1\/2), 181\u2013234 (2002)","journal-title":"Journal of Artificial Intelligence"},{"issue":"4","key":"1_CR66","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. J.ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"J.ACM"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T22:22:07Z","timestamp":1556835727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}