{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T17:43:57Z","timestamp":1769276637296,"version":"3.49.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319755526","type":"print"},{"value":"9783319755533","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75553-3_11","type":"book-chapter","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T04:34:24Z","timestamp":1520224464000},"page":"150-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["EqArgSolver \u2013 System Description"],"prefix":"10.1007","author":[{"given":"Odinaldo","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,6]]},"reference":[{"key":"11_CR1","unstructured":"Cerutti, F., Oren, N., Strasse, H., Thimm, M., Vallati, M.: The First International Competition on Computational Models of Argumentation (ICCMA 2015) (2015). \nhttp:\/\/argumentationcompetition.org\/2015\/index.html"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.artint.2014.11.008","volume":"220","author":"G Charwat","year":"2015","unstructured":"Charwat, G., Dvo\u0159\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Methods for solving reasoning problems in abstract argumentation - a survey. Artif. Intell. 220, 28\u201363 (2015)","journal-title":"Artif. Intell."},{"issue":"4","key":"11_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11787-015-0119-7","volume":"9","author":"DM Gabbay","year":"2015","unstructured":"Gabbay, D.M., Rodrigues, O.: Equilibrium states in numerical argumentation networks. Log. Univers. 9(4), 1\u201363 (2015)","journal-title":"Log. Univers."},{"key":"11_CR4","unstructured":"Gabbay, D.M., Rodrigues, O.: Further applications of the Gabbay-Rodrigues iteration schema in argumentation and revision theories. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality, vol. 29, pp. 392\u2013407. College Publications (2016)"},{"key":"11_CR5","volume-title":"Efficient Computation of Argumentation Semantics","author":"B Liao","year":"2014","unstructured":"Liao, B.: Efficient Computation of Argumentation Semantics. Academic Press, Cambridge (2014)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-0-387-98197-0_6","volume-title":"Argumentation in Artificial Intelligence","author":"S Modgil","year":"2009","unstructured":"Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105\u2013129. Springer, Boston (2009). \nhttps:\/\/doi.org\/10.1007\/978-0-387-98197-0_6"},{"key":"11_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"120","volume-title":"Theory and Applications of Formal Argumentation","author":"O Rodrigues","year":"2017","unstructured":"Rodrigues, O.: A forward propagation algorithm for semantic computation of argumentation frameworks. In: Black, E., et al. (eds.) TAFA 2017. LNAI, vol. 10757, pp. 120\u2013136. Springer, Cham (2017)"},{"key":"11_CR8","unstructured":"Silva, J.P.M., Sakallah, K.A.: GRASP: a new search algorithm for satisfiability. In: Proceedings of the 1996 IEEE\/ACM International Conference on Computer-aided Design, ICCAD 1996, pp. 220\u2013227. IEEE Computer Society, Washington, D.C. (1996)"},{"key":"11_CR9","unstructured":"Thimm, M., Villata, S.: System descriptions of the 1st International Competition on Computational Models of Argumentation (ICCMA 2015). CoRR, abs\/1510.05373 (2015)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Formal Argumentation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75553-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T04:39:45Z","timestamp":1520224785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75553-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319755526","9783319755533"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75553-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}