{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:26:46Z","timestamp":1725514006527},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540721994"},{"type":"electronic","value":"9783540722007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72200-7_21","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T16:54:47Z","timestamp":1181062487000},"page":"241-253","source":"Crossref","is-referenced-by-count":3,"title":["General Default Logic"],"prefix":"10.1007","author":[{"given":"Yi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangzhen","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","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, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer Sets for Propositional Theories. In: Baral, C., et al. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"21_CR3","doi-asserted-by":"publisher","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 Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. Fifth International Conference and Symposium on Logic Programming, pp. 1070\u20131080 (1988)","key":"21_CR4"},{"key":"21_CR5","volume-title":"Proceedings of the second Conference on Principles of Knowledge Representation and Reasoning","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V., Przymusinska, H.: Disjunctive Defaults. In: Allen, J., Fikes, R., Sandewall, B. (eds.) Proceedings of the second Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Massachusetts, Morgan Kaufmann, San Francisco (1991)"},{"issue":"3-4","key":"21_CR6","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 369\u2013389 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"unstructured":"Pearce, D.: Equilibrium logic: an extension of answer set programming for nonmonotonic reasoning. In: Proccedings of WLP2000, p. 17 (2000)","key":"21_CR7"},{"issue":"1-2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01530762","volume":"12","author":"M. Gelfond","year":"1994","unstructured":"Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell.\u00a012(1-2), 89\u2013116 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/69.219736","volume":"5","author":"E.P.F. Chan","year":"1993","unstructured":"Chan, E.P.F.: A possible world semantics for disjunctive databases. Knowledge and Data Engineering\u00a05(2), 282\u2013292 (1993), \n                    \n                      citeseer.ist.psu.edu\/chan99possible.html","journal-title":"Knowledge and Data Engineering"},{"key":"21_CR10","first-page":"168","volume-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI\u201397)","author":"J. Delgrande","year":"1997","unstructured":"Delgrande, J., Schaub, T.: Compiling reasoning with and about preferences into default logic. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI\u201397), pp. 168\u2013174. Morgan Kaufmann, San Mateo (1997)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0004-3702(92)90019-T","volume":"57","author":"F. Lin","year":"1992","unstructured":"Lin, F., Shoham, Y.: A logic of knowledge and justified assumptions. Artificial Intelligence\u00a057, 271\u2013289 (1992)","journal-title":"Artificial Intelligence"},{"unstructured":"Lin, F., Zhou, Y.: From answer set logic programming to circumscription via logic of gk. In: Proceedings of the IJCAI\u201907 (2007)","key":"21_CR12"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72200-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:29:33Z","timestamp":1605763773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72200-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540721994","9783540722007"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72200-7_21","relation":{},"subject":[]}}