{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:17Z","timestamp":1725551597308},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_91","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"834-838","source":"Crossref","is-referenced-by-count":0,"title":["Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Quoc Bao","family":"Vo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"91_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence Journal\u00a093, 63\u2013101 (1997)","journal-title":"Artificial Intelligence Journal"},{"key":"91_CR2","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"issue":"3","key":"91_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM\u00a07(3), 201\u2013215 (1960)","journal-title":"Journal of the ACM"},{"issue":"2","key":"91_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C.: A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence Journal\u00a043(2), 219\u2013234 (1990)","journal-title":"Artificial Intelligence Journal"},{"issue":"3","key":"91_CR5","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"91_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1070\u20131080 (1988)"},{"issue":"1-3","key":"91_CR7","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(91)90011-8","volume":"49","author":"H.A. Kautz","year":"1991","unstructured":"Kautz, H.A., Selman, B.: Hard problems for simple default logics. Artificial Intelligence Journal\u00a049(1-3), 243\u2013279 (1991)","journal-title":"Artificial Intelligence Journal"},{"issue":"1-2","key":"91_CR8","first-page":"39","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. AIJ\u00a0138(1-2), 39\u201354 (2002)","journal-title":"AIJ"},{"issue":"3","key":"91_CR9","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, W., Truszczynski, M.: Autoepistemic logic. Journal of the ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of the ACM"},{"issue":"1-2","key":"91_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D.V. McDermott","year":"1980","unstructured":"McDermott, D.V., Doyle, J.: Non-monotonic logic I. Artificial Intelligence Journal\u00a013(1-2), 41\u201372 (1980)","journal-title":"Artificial Intelligence Journal"},{"issue":"1","key":"91_CR11","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 Journal\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence Journal"},{"key":"91_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for How to Build a Person","author":"J. Pollock","year":"1995","unstructured":"Pollock, J.: Cognitive Carpentry: A Blueprint for How to Build a Person. MIT Press, London (1995)"},{"key":"91_CR13","unstructured":"Przymusinski, T.C.: Perfect model semantics. In: The Fifth International Conference and Symposium on Logic Programming, Seattle, Washington (1988)"},{"key":"91_CR14","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 Journal\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence Journal"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:24Z","timestamp":1619506104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11589990_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}