{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:19:18Z","timestamp":1649099958644},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SCI CHINA SER F"],"published-print":{"date-parts":[[2007,2]]},"DOI":"10.1007\/s11432-007-0001-1","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T16:41:05Z","timestamp":1182962465000},"page":"46-62","source":"Crossref","is-referenced-by-count":2,"title":["A characterization of answer sets for logic programs"],"prefix":"10.1007","volume":"50","author":[{"given":"MingYi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FangZhen","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"1070","volume-title":"Logic Programming: Proc. 5-th Int\u2019l Conf. and Symp., Seattle","author":"M. Gelfond","year":"1988","unstructured":"Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Kowalski R, Bowen K, eds. Logic Programming: Proc. 5-th Int\u2019l Conf. and Symp., Seattle, Washington: MIT Press, 1988, 1070\u20131080"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive databases. New Gen Comp, 1991, 9: 365\u2013385","journal-title":"New Gen Comp"},{"key":"1_CR3","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages F. Consistency of Clark\u2019s completion and existence of stable models. J Methods Logic in Comp Sci, 1994, 1: 51\u201360","journal-title":"J Methods Logic in Comp Sci"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle J. A truth maintenance system. Artif Intel, 1979, 12: 231\u2013272","journal-title":"Artif Intel"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark K. Negation as failure. In: Gallaire H, Minker J, eds. Logic and Data Bases. New York: Plenum Press, 1978. 293\u2013322"},{"key":"1_CR6","unstructured":"Babovich Y, Erdem E, Lifschitz V. Fages\u2019s theorem and answer set programming. In: Proc. NMR-2000, Brecken ridge, Colorado, 2000"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Erdem E, Lifschitz V. Fages\u2019 theorem for programs with nested expressions. In: Proc. 2001 Inter. Conf. on Logic Programming, 2001, 242\u2013254","DOI":"10.1007\/3-540-45635-X_24"},{"key":"1_CR8","unstructured":"You J, Yuan L, Zhang M. On the equivalence between answer sets and models of completion for nested logic programs. In: Proc. IJCAI-03, Acapulco, Mexico, Morgan Kaufmann, 2003, 859\u2013864"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin F, Zhao Y. ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 2004, 157: 115\u2013137","journal-title":"Artificial Intelligence"},{"key":"1_CR10","first-page":"451","volume-title":"Proc. ICLP-03","author":"J. Lee","year":"2003","unstructured":"Lee J, Lifschitz V. Loop formulas for disjunctive programs. In: Proc. ICLP-03, Mumbai, Springer-Verlag, 2003, 451\u2013465"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1017\/S1471068403001765","volume":"3","author":"E. Erdem","year":"2003","unstructured":"Erdem E., Lifschitz V. Tight logic programs. Theory and Practice of Logic Program, 2003, 3: 499\u2013518","journal-title":"Theory and Practice of Logic Program"},{"key":"1_CR12","unstructured":"Lifschitz V. Foundations of logic programming. In: Brewka G, ed. Principles of Knowledge Representation, CSLI Publications, 1996, 69\u2013128"},{"key":"1_CR13","first-page":"369","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz V, et al. Nested expressions in logic programs. Annals Math AI, 1999, 25: 369\u2013389","journal-title":"Annals Math AI"},{"key":"1_CR14","first-page":"242","volume-title":"Proc. Int\u2019l Conf. on Logic programming, Paphos","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz V. Fages\u2019 theorem for programs with nested expressions. In: Proc. Int\u2019l Conf. on Logic programming, Paphos, Cyprus, Springer, 2001, 242\u2013254"},{"key":"1_CR15","unstructured":"Lifschitz V. Introduction to answer set programming. 2004, http:\/\/www.cs.utetax.edu\/users\/vl\/papers.html"},{"key":"1_CR16","unstructured":"Zhang M. A characterization of extensions of general default theories. In: Glasgow J, Hadely B, eds. Proc. of Ninth Canadian Conference on Artificial Intelligence. Morgan Kaufmann, San Mateo, 1992, 134\u2013139"},{"issue":"2","key":"1_CR17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1006\/inco.1996.0075","volume":"129","author":"M. Zhang","year":"1996","unstructured":"Zhang M. A new research into default logic. Inf Comp, 1996, 129(2): 73\u201385","journal-title":"Inf Comp"},{"issue":"2","key":"1_CR18","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF02919686","volume":"41","author":"M. Zhang","year":"1998","unstructured":"Zhang M, Zhang D. A framework for default logic with case reasoning. Sci China Ser E-Tech Sci, 1998, 41(2): 215\u2013224","journal-title":"Sci China Ser E-Tech Sci"},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V. Marek","year":"1999","unstructured":"Marek V, Truszczynski M. Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: A 25-Year Perspective, Berlin: Springer-Verlag, 1999, 375\u2013398"},{"key":"1_CR20","first-page":"266","volume-title":"Proc. Intern. Logic Programming Symposium","author":"T. Eiter","year":"1993","unstructured":"Eiter T, Gottlob G. Complexity results for disjunctive logic programming and application to nonmonotonic logic. In: Proc. Intern. Logic Programming Symposium, Vancouver: MIT Press, 1993, 266\u2013278"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0001-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-007-0001-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0001-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:32Z","timestamp":1559403332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-007-0001-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["1"],"URL":"https:\/\/doi.org\/10.1007\/s11432-007-0001-1","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}