{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:49:13Z","timestamp":1743094153636,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_5","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"57-71","source":"Crossref","is-referenced-by-count":9,"title":["Parameterized Splitting: A Simple Modification-Based Approach"],"prefix":"10.1007","author":[{"given":"Ringo","family":"Baumann","sequence":"first","affiliation":[]},{"given":"Gerhard","family":"Brewka","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Dvo\u0159\u00e1k","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P. Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Eng. Review\u00a026(4), 365\u2013410 (2011)","journal-title":"Knowledge Eng. Review"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, pp. 25\u201344. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_2"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-20895-9_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"R. Baumann","year":"2011","unstructured":"Baumann, R.: Splitting an Argumentation Framework. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 40\u201353. Springer, Heidelberg (2011)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-29184-5_2","volume-title":"Theorie and Applications of Formal Argumentation","author":"R. Baumann","year":"2012","unstructured":"Baumann, R., Brewka, G., Wong, R.: Splitting Argumentation Frameworks: An Empirical Evaluation. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol.\u00a07132, pp. 17\u201331. Springer, Heidelberg (2012)"},{"issue":"12","key":"5_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR8","first-page":"1070","volume-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth International Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"5_CR9","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 Comput.\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Comput."},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1006\/jagm.1994.1043","volume":"17","author":"J. Hao","year":"1994","unstructured":"Hao, J., Orlin, J.B.: A faster algorithm for finding the minimum cut in a directed graph. J. Algorithms\u00a017(3), 424\u2013446 (1994)","journal-title":"J. Algorithms"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T. Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res.\u00a035, 813\u2013857 (2009)","journal-title":"J. Artif. Intell. Res."},{"issue":"11","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1790","DOI":"10.1016\/j.artint.2011.03.006","volume":"175","author":"B.S. Liao","year":"2011","unstructured":"Liao, B.S., Jin, L., Koons, R.C.: Dynamics of argumentation systems: A division-based method. Artif. Intell.\u00a0175(11), 1790\u20131814 (2011)","journal-title":"Artif. Intell."},{"key":"5_CR13","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming (ICLP 1994), pp. 23\u201327. MIT Press (1994)"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"5_CR15","unstructured":"Turner, H.: Splitting a default theory. In: Clancey, W.J., Weld, D.S. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference (AAAI\/IAAI), vol.\u00a01, pp. 645\u2013651. AAAI Press \/ The MIT Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:56:42Z","timestamp":1558299402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}