{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:43:39Z","timestamp":1649137419969},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/s11390-007-9071-1","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T01:24:26Z","timestamp":1189733066000},"page":"554-561","source":"Crossref","is-referenced-by-count":1,"title":["Consistency Property of Finite FC-Normal Logic Programs"],"prefix":"10.1007","volume":"22","author":[{"given":"Yi-Song","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Yi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu-Ping","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,13]]},"reference":[{"key":"9071_CR1","unstructured":"Michael Gelfond, Vladimir Lifschitz. The stable model semantics for logic programming. In Proc. Fifth International Conference and Symposium on Logic Programming, Seattle, Washington, 1988, pp.1070\u20131080."},{"key":"9071_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"Proc. The Logic Programming Paradigm: A 25-Year Perspective","author":"V W Marek","year":"1999","unstructured":"Marek V W, Truszczynski M. Stable models and an alternative logic programming paradigm. In Proc. The Logic Programming Paradigm: A 25-Year Perspective, Apt K R, Marek V W, Truszczynski M, Warren D S (eds.), Berlin: Springer-Verlag, Germany, 1999, pp.375\u2013398."},{"issue":"1-2","key":"9071_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"Vladimir Lifschitz","year":"2002","unstructured":"Vladimir Lifschitz. Answer set programming and plan generation. Artif. Intell., 2002, 138(1-2): 39\u201354.","journal-title":"Artif. Intell."},{"key":"9071_CR4","doi-asserted-by":"crossref","unstructured":"Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"9071_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"V W Marek","year":"1999","unstructured":"Marek V W, 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":"9071_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd J W. Foundations of Logic Programming. 2nd Edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"4","key":"9071_CR7","first-page":"259","volume":"45","author":"Daoyun Xu","year":"2002","unstructured":"Daoyun Xu, Decheng Ding. Fc-normal and extended stratified logic program. Science in China (Series F), 2002, 45(4): 259\u2013272.","journal-title":"Science in China (Series F)"},{"issue":"3","key":"9071_CR8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"Evgeny Dantsin","year":"2001","unstructured":"Evgeny Dantsin, Thomas Eiter, Georg Gottlob et al. Complexity and expressive power of logic programming. ACM Computing Surveys, 2001, 33(3): 374\u2013425.","journal-title":"ACM Computing Surveys"},{"issue":"1-2","key":"9071_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0004-3702(02)00182-0","volume":"138","author":"G Gottlob","year":"2002","unstructured":"Gottlob G, Scarcello F, Sideri M. Fixed-parameter complexity in AI and nonmonotonic reasoning. Artificial Intelligence, 2002, 138(1-2): 55\u201386.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9071_CR10","first-page":"588","volume":"38","author":"V Wiktor Marek","year":"1991","unstructured":"V Wiktor Marek, Miroslaw Truszczynski. Autoepistemic logic. J. ACM, 1991, 38(3): 588\u2013619.","journal-title":"J. ACM"},{"key":"9071_CR11","unstructured":"Fangzhen Lin, Xishun Zhao. On odd and even cycles in normal logic programs. In Proc. the 19th National Conference on Artificial Intelligence (AAAI-2004), Menlo Park, CA., AAAI Press, 2004, pp.80\u201385."},{"issue":"1-3","key":"9071_CR12","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(91)90011-8","volume":"49","author":"Henry A Kautz","year":"1991","unstructured":"Henry A Kautz, Bart Selman. Hard problems for simple default logics. Artif. Intell., 1991, 49(1-3): 243\u2013279.","journal-title":"Artif. Intell."},{"key":"9071_CR13","unstructured":"Mingyi Zhang, Ying Zhang, Yisong Wang. On compatibility and forward chaining normality. In Proc. NMR06 Workshop, Lake District, UK, 2006, pp.163\u2013171."},{"key":"9071_CR14","unstructured":"Zhang Mingyi. A characterization of extension of general default theories. In Proc. 9th Cannadian Conference on Artificial Intelligence, Vancouver, BC, Canada, 1992, pp.134\u2013139."},{"issue":"2","key":"9071_CR15","first-page":"142","volume":"17","author":"Zheng Chuanjin","year":"1994","unstructured":"Zheng Chuanjin. Extensions and strong compatible subsets of defaults. Chinese Journal of Computers, 1994, 17(2): 142\u2013146.","journal-title":"Chinese Journal of Computers"},{"issue":"2","key":"9071_CR16","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1006\/inco.1996.0075","volume":"129","author":"Zhang Mingyi","year":"1996","unstructured":"Zhang Mingyi. A new research into default logic. Information and Computation, Elsevier, 1996, 129(2): 73\u201385.","journal-title":"Information and Computation, Elsevier"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9071-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-007-9071-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9071-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:32:39Z","timestamp":1559399559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-007-9071-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["9071"],"URL":"https:\/\/doi.org\/10.1007\/s11390-007-9071-1","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}