{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:52Z","timestamp":1767237232808,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221514"},{"type":"electronic","value":"9783642221521"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22152-1_2","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T23:22:00Z","timestamp":1309044120000},"page":"19-35","source":"Crossref","is-referenced-by-count":11,"title":["Introducing Equational Semantics for Argumentation Networks"],"prefix":"10.1007","author":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-32254-2_5","volume-title":"Mechanizing Mathematical Reasoning","author":"H. Barringer","year":"2005","unstructured":"Barringer, H., Gabbay, D.M., Woods, J.: Temporal dynamics of support and attack networks. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 59\u201398. Springer, Heidelberg (2005)"},{"key":"2_CR2","unstructured":"Boole, G.: The Mathematical Analysis of Logic, Cambridge and London (1847)"},{"key":"2_CR3","first-page":"102","volume-title":"Proc. KR 2010","author":"G. Brewka","year":"2010","unstructured":"Brewka, G., Woltran, S.: Abstract dialectical frameworks. In: Proc. KR 2010, pp. 102\u2013111. AAAI Press, Menlo Park (2010)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Couturat, L.: The Algebra of Logic. Open Court (1914)","DOI":"10.3792\/chmm\/1263313783"},{"issue":"2-3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"M. Caminada","year":"2009","unstructured":"Caminada, M., Gabbay, D.M.: A logical account of formal argumentation. Studia Logica\u00a093(2-3), 109\u2013145 (2009)","journal-title":"Studia Logica"},{"key":"2_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. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/j.artint.2010.09.005","volume":"175","author":"P. Dunne","year":"2011","unstructured":"Dunne, P., Hunter, A., McBurney, P., Wooldridge, M.: Weighted argument systems. Artificial Intelligence\u00a0175, 457\u2013486 (2011)","journal-title":"Artificial Intelligence"},{"issue":"2-3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s11225-009-9215-0","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay, D.M.: Provability foundations for argumentation networks. Studia Logica\u00a093(2-3), 181\u2013198 (2009)","journal-title":"Studia Logica"},{"issue":"2-3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s11225-009-9217-y","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay, D.M.: Fibring argumentation frames. Studia Logica\u00a093(2-3), 231\u2013295 (2009)","journal-title":"Studia Logica"},{"key":"2_CR10","first-page":"355","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay, D.M.: Semantics for higher level attacks in extended argumentation frames. Part 1: Overview. Studia Logica\u00a093, 355\u2013379 (2009)","journal-title":"Part 1: Overview. Studia Logica"},{"key":"2_CR11","unstructured":"Gabbay, D.M.: Equational approach to argumentation networks, 90pp (February 2011)"},{"issue":"2-3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11225-009-9220-3","volume":"93","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay, D.M., Sza\u0142as, A.: Annotation theories over finite graphs. Studia Logica\u00a093(2-3), 147\u2013180 (2009)","journal-title":"Studia Logica"},{"key":"#cr-split#-2_CR13.1","unstructured":"Schr??der, E.: Vorlesungen ??ber die Algebra die Logik, vol.??3, pp. 1890???1904. B. G. Tuebner, Leipzig; Reprints, Chelsea (1966);"},{"key":"#cr-split#-2_CR13.2","unstructured":"Thoemmes Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22152-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T19:46:05Z","timestamp":1637955965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22152-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221514","9783642221521"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22152-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}