{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:16:27Z","timestamp":1725804987926},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115078"},{"type":"electronic","value":"9783319115085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11508-5_20","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T08:26:24Z","timestamp":1410164784000},"page":"237-250","source":"Crossref","is-referenced-by-count":0,"title":["A Petri Net Model of Argumentation Dynamics"],"prefix":"10.1007","author":[{"given":"Diego C.","family":"Martinez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Laura","family":"Cobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo Ricardo","family":"Simari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Stahl, C., Westergaard, M.: Strategies for modeling complex processes using colored petri nets. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) ToPNoc VII. LNCS, vol.\u00a07480, pp. 6\u201355. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38143-0_2"},{"issue":"2-3","key":"20_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/19462166.2012.704397","volume":"3","author":"H. Barringer","year":"2012","unstructured":"Barringer, H., Gabbay, D.M., Woods, J.: Temporal, numerical and meta-level dynamics in argumentation networks. Argument & Computation\u00a03(2-3), 143\u2013202 (2012)","journal-title":"Argument & Computation"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G. Brewka","year":"2001","unstructured":"Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on situation calculus. J. Log. Comput.\u00a011(2), 257\u2013282 (2001)","journal-title":"J. Log. Comput."},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-29184-5_12","volume-title":"Theorie and Applications of Formal Argumentation","author":"M.L. Cobo","year":"2012","unstructured":"Cobo, M.L., Martinez, D.C., Simari, G.R.: Stable extensions in timed argumentation frameworks. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol.\u00a07132, pp. 181\u2013196. Springer, Heidelberg (2012)"},{"key":"20_CR5","unstructured":"Cobo, M.L., Martinez, D.C., Simari, G.R.: An approach to timed abstract argumentation. In: Proc. of Int. Workshop of Non-Monotonic Reasoning 2010 (2010)"},{"key":"20_CR6","doi-asserted-by":"crossref","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(2), 321\u2013358","DOI":"10.1016\/0004-3702(94)00041-X"},{"issue":"1-2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A.J. Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming\u00a04(1-2), 95\u2013138 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"20_CR8","first-page":"1904","volume-title":"Proc. of 20th Int. Joint Conference on Artificial Intelligence","author":"J. Rintanen","year":"2007","unstructured":"Rintanen, J., Thi\u00e9baux, S., White, L., Hickmott, S.: Planning via petri net unfolding. In: Proc. of 20th Int. Joint Conference on Artificial Intelligence, pp. 1904\u20131911. AAAI Press, Menlo Park (2007)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45740-2_12","volume-title":"Applications and Theory of Petri Nets 2001","author":"M.V. Iordache","year":"2001","unstructured":"Iordache, M.V., Antsaklis, P.J.: Generalized conditions for liveness enforcement and deadlock prevention in petri nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 184\u2013203. Springer, Heidelberg (2001)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. of IEEE\u00a077(4) (1989)","DOI":"10.1109\/5.24143"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Pardo, P., Godo, L.: t-delp: an argumentation-based temporal defeasible logic programming framework. Annals of Mathematics and Artificial Intelligence, 1\u201333 (2013)","DOI":"10.1007\/s10472-013-9334-1"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11508-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:06:24Z","timestamp":1558973184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11508-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115078","9783319115085"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11508-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}