{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T04:54:11Z","timestamp":1696913651798},"reference-count":7,"publisher":"Science China Press., Co. Ltd.","issue":"4","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci China Ser F"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1360\/02yf9023","type":"journal-article","created":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T17:40:52Z","timestamp":1696873252000},"page":"259-272","source":"Crossref","is-referenced-by-count":0,"title":["FC-normal and extended stratified logic program"],"prefix":"10.1360","volume":"45","author":[{"given":"Daoyun","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Decheng","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"294","reference":[{"key":"454259_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"V. M. Marek","year":"1999","unstructured":"Marek, V. M., Nerode, A., Remmel, J. B., Logic programs, well-ordering, and forward chaining, Annals of Pure and Applied Logic, 1999, 96: 231\u2013276.","journal-title":"Annals of Pure and Applied Logic"},{"key":"454259_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0168-0072(94)90013-2","volume":"67","author":"V. M. Marek","year":"1994","unstructured":"Marek, V. M., Nerode, A., Remmel, J. B., A context for belief revision: forward chaining-normal nonmonotonic rules systems, Annals of Pure and Applied Logic, 1994, 67: 269\u2013323.","journal-title":"Annals of Pure and Applied Logic"},{"key":"454259_CR3","first-page":"89","volume-title":"Foundation of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt, K., Blair, H. A., Walker, A., Towards a theory of declaritive knowledge, in Foundation of Deductive Databases and Logic Programming (ed. Minker, J.), Los Altos, CA: Morgan Kaufmann, 1987, 89\u2013142."},{"key":"454259_CR4","first-page":"193","volume-title":"Foundation of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1987","unstructured":"Przymusinski, T., On the declarative semanitics of stratified deductive databases and logic programs, in Foundation of Deductive Databases and Logic Programming (ed. Minker, J.), Los Altos, CA: Morgan Kaufmann, 1987, 99: 193\u2013216."},{"key":"454259_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic","author":"V. M. Marek","year":"1993","unstructured":"Marek, V. M., Truszczy\u0144ski, M., Nonmonotonic Logic, Berlin: Springer-Verlag, 1993."},{"issue":"10","key":"454259_CR6","first-page":"1579","volume":"E77-A","author":"C. Lin","year":"1994","unstructured":"Lin, C., Murata, T., A Petri net model for nonmonotonic reasoning based on annotated logic programs, IEICE Trans. Fundamentals, 1994, E77-A (10): 1579\u20131587.","journal-title":"IEICE Trans. Fundamentals"},{"key":"454259_CR7","unstructured":"Zhao Xi-shun, Disjunction-free default logic and its complexity, Ph. D. Thesis., Nanjing University in China, 1999."}],"container-title":["Science in China Series F Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1360\/02yf9023.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1360\/02yf9023\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1360\/02yf9023.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T17:41:05Z","timestamp":1696873265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1360\/02yf9023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["454259"],"URL":"https:\/\/doi.org\/10.1360\/02yf9023","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}