{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:36Z","timestamp":1725748176183},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_6","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T16:18:12Z","timestamp":1378829892000},"page":"86-101","source":"Crossref","is-referenced-by-count":7,"title":["Instantiating Knowledge Bases in Abstract Dialectical Frameworks"],"prefix":"10.1007","author":[{"given":"Hannes","family":"Strass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","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. Artificial Intelligence\u00a077, 321\u2013358 (1995)","journal-title":"Artificial Intelligence"},{"issue":"5-6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M. Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence\u00a0171(5-6), 286\u2013310 (2007)","journal-title":"Artificial Intelligence"},{"key":"6_CR3","unstructured":"Wyner, A., Bench-Capon, T., Dunne, P.: Instantiating knowledge bases in abstract argumentation frameworks. In: Proceedings of the AAAI Fall Symposium \u2013 The Uses of Computational Argumentation (2009)"},{"key":"6_CR4","unstructured":"Brewka, G., Woltran, S.: Abstract Dialectical Frameworks. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), pp. 102\u2013111 (2010)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Strass, H.: Approximating operators and semantics for Abstract Dialectical Frameworks. Technical Report\u00a01, Institute of Computer Science, Leipzig University (January 2013)","DOI":"10.1016\/j.artint.2013.09.004"},{"key":"6_CR6","unstructured":"Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P., Woltran, S.: Abstract Dialectical Frameworks Revisited. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press (to appear, August 2013)"},{"issue":"7","key":"6_CR7","first-page":"1","volume":"3","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., Theseider-Dupr\u00e9, D., Van Belleghem, K.: An Inductive Definition Approach to Ramifications. Link\u00f6ping Electronic Articles in Computer and Information Science\u00a03(7), 1\u201343 (1998)","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"key":"6_CR8","unstructured":"Brewka, G., Gordon, T.F.: Carneades and Abstract Dialectical Frameworks: A Reconstruction. In: Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10. Frontiers in Artificial Intelligence and Applications, vol.\u00a0216, pp. 3\u201312. IOS Press (2010)"},{"issue":"10-15","key":"6_CR9","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T.F. Gordon","year":"2007","unstructured":"Gordon, T.F., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artificial Intelligence\u00a0171(10-15), 875\u2013896 (2007)","journal-title":"Artificial Intelligence"},{"key":"6_CR10","unstructured":"Van Gijzel, B., Prakken, H.: Relating Carneades with Abstract Argumentation. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, vol.\u00a02, pp. 1113\u20131119. AAAI Press (2011)"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H. Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation\u00a01(2), 93\u2013124 (2010)","journal-title":"Argument & Computation"},{"issue":"1-2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P. Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: A general schema for argumentation semantics. Artificial Intelligence\u00a0168(1-2), 162\u2013210 (2005)","journal-title":"Artificial Intelligence"},{"issue":"3-4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1016\/j.artint.2010.11.005","volume":"175","author":"P. Baroni","year":"2011","unstructured":"Baroni, P., Dunne, P.E., Giacomin, M.: On the resolution-based family of abstract argumentation semantics and its grounded instance. Artificial Intelligence\u00a0175(3-4), 791\u2013813 (2011)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:20:41Z","timestamp":1558056041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}