{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:11Z","timestamp":1773939131075,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642219399","type":"print"},{"value":"9783642219405","type":"electronic"}],"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-21940-5_16","type":"book-chapter","created":{"date-parts":[[2012,2,17]],"date-time":"2012-02-17T05:59:42Z","timestamp":1329458382000},"page":"268-285","source":"Crossref","is-referenced-by-count":1,"title":["Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report"],"prefix":"10.1007","author":[{"given":"Yuqing","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy J.","family":"Norman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Parsons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1021603608656","volume":"29","author":"L. Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: Inferring from inconsistency in preference-based argumentation frameworks. Journal of Automated Reasoning\u00a029(2), 125\u2013169 (2002)","journal-title":"Journal of Automated Reasoning"},{"issue":"1-3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","author":"L. Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence\u00a034(1-3), 197\u2013215 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"16_CR3","first-page":"301","volume":"70","author":"R. Berghammer","year":"2005","unstructured":"Berghammer, R., Fronk, A.: Exact computation of minimum feedback vertex sets with relational algebra. Fundam. Inf.\u00a070(4), 301\u2013316 (2005)","journal-title":"Fundam. Inf."},{"issue":"9","key":"16_CR4","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs is NP-Complete. IEEE Transations on Computers\u00a045(9), 993\u20131002 (1996)","journal-title":"IEEE Transations on Computers"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"16_CR6","first-page":"1","volume-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","author":"J. Burch","year":"1990","unstructured":"Burch, J., Clarke, E., McMillan, K., Dill, D., Burch, L.H.J.R., Clarke, E.M., Mcmilla, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 1\u201333. IEEE Computer Society Press, Washington, D.C (1990)"},{"key":"16_CR7","first-page":"49","volume-title":"Proceedings of International Conference on Very Large Scale Integration","author":"J.R. Burch","year":"1991","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: Proceedings of International Conference on Very Large Scale Integration, pp. 49\u201358. North-Holland, Amsterdam (1991)"},{"key":"16_CR8","first-page":"728","volume-title":"DAC 1997: Proceedings of the 34th Annual Conference on Design Automation","author":"G. Cabodi","year":"1997","unstructured":"Cabodi, G., Camurati, P., Lavagno, L., Quer, S.: Disjunctive partitioning and partial iterative squaring: an effective approach for symbolic traversal of large circuits. In: DAC 1997: Proceedings of the 34th Annual Conference on Design Automation, pp. 728\u2013733. ACM Press, New York (1997)"},{"key":"16_CR9","first-page":"293","volume-title":"ICCAD 2001: Proceedings of the 2001 IEEE\/ACM International Conference on Computer-aided Design","author":"P. Chauhan","year":"2001","unstructured":"Chauhan, P., Clarke, E.M., Jha, S., Kukula, J., Shiple, T., Veith, H., Wang, D.: Non-linear quantification scheduling in image computation. In: ICCAD 2001: Proceedings of the 2001 IEEE\/ACM International Conference on Computer-aided Design, pp. 293\u2013298. IEEE Computer Society Press, Piscataway (2001)"},{"issue":"1-2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence\u00a0147(1-2), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Coudert, O., Berthet, C., Madre, J.C.: Verification of synchronous sequential machines based on symbolic execution. In: Automatic Verification Methods for Finite State Systems, pp. 365\u2013373 (1989)","DOI":"10.1007\/3-540-52148-8_30"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF01383965","volume":"6","author":"O. Coudert","year":"1995","unstructured":"Coudert, O., Madre, J.C.: The implicit set paradigm: a new approach to finite state system verification. Formal Methods in System Design\u00a06(2), 133\u2013145 (1995)","journal-title":"Formal Methods in System Design"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0004-3702(02)00245-X","volume":"141","author":"Y. Dimopoulos","year":"2002","unstructured":"Dimopoulos, Y., Nebel, B., Toni, F.: On the computational complexity of assumption-based argumentation for default reasoning. Artificial Intelligence\u00a0141, 57\u201378 (2002)","journal-title":"Artificial Intelligence"},{"key":"16_CR14","first-page":"200","volume-title":"DAC 1998: Proceedings of the 35th Annual Conference on Design Automation","author":"R. Drechsler","year":"1998","unstructured":"Drechsler, R., Drechsler, N., G\u00fcnther, W.: Fast exact minimization of BDDs. In: DAC 1998: Proceedings of the 35th Annual Conference on Design Automation, pp. 200\u2013205. ACM Press, New York (1998)"},{"issue":"2","key":"16_CR15","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(2), 321\u2013358 (1995)","journal-title":"Artificial Intelligence"},{"key":"16_CR16","first-page":"2003","volume":"149","author":"P.E. Dunne","year":"2001","unstructured":"Dunne, P.E., Bench-capon, T.J.M.: Two party immediate response disputes: properties and efficiency. Artificial Intelligence\u00a0149, 2003 (2001)","journal-title":"Artificial Intelligence"},{"key":"16_CR17","first-page":"10","volume-title":"in Proceedings of the Sixth International Conference on AI and Law","author":"T. Gordon","year":"1997","unstructured":"Gordon, T., Karacapilidis, N.: The zeno argumentation framework. In: in Proceedings of the Sixth International Conference on AI and Law, pp. 10\u201318. ACM Press, New York (1997)"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.1096","volume":"18","author":"O. Grumberg","year":"2003","unstructured":"Grumberg, O., Livne, S., Markovitch, S.: Learning to order BDD variables in verification. Journal of Artificial Intelligence Research (JAIR)\u00a018, 83\u2013116 (2003)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/ICCD.1996.563525","volume-title":"ICCD 1996: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors","author":"R. Hojati","year":"1996","unstructured":"Hojati, R., Krishnan, S.C., Brayton, R.K.: Early quantification and partitioned transition relations. In: ICCD 1996: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors, pp. 12\u201319. IEEE Computer Society Press, Washington, DC, USA (1996)"},{"key":"16_CR20","first-page":"631","volume-title":"ICCAD 1998: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-aided Design","author":"J. Jain","year":"1998","unstructured":"Jain, J., Adams, W., Fujita, M.: Sampling schemes for computing OBDD variable orderings. In: ICCAD 1998: Proceedings of the 1998 IEEE\/ACM International Conference on Computer-aided Design, pp. 631\u2013638. ACM Press, New York (1998)"},{"key":"16_CR21","unstructured":"Jensen, R.M., Bryant, R.E., Veloso, M.M.: An efficient BDD-based A* algorithm. In: Proceedings of AIPS 2002 Workshop on Planning via Model Checking (2002)"},{"key":"16_CR22","unstructured":"Jensen, R.M., Bryant, R.E., Veloso, M.M.: SetA*: An efficient BDD-based heuristic search algorithm. In: Proceedings of 18th National Conference on Artificial Intelligence (AAAI 2002), pp. 668\u2013673 (2002)"},{"issue":"2-3","key":"16_CR23","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.artint.2007.05.009","volume":"172","author":"R.M. Jensen","year":"2008","unstructured":"Jensen, R.M., Veloso, M.M., Bryant, R.E.: State-set branching: Leveraging BDDs for heuristic search. Artificial Intelligence\u00a0172(2-3), 103\u2013139 (2008)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"16_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592438","volume":"41","author":"R. Jhala","year":"2009","unstructured":"Jhala, R., Majumdar, R.: Software model checking. ACM Comput. Surv.\u00a041(4), 1\u201354 (2009)","journal-title":"ACM Comput. Surv."},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/logcom\/9.4.515","volume":"9","author":"A.C. Kakas","year":"1999","unstructured":"Kakas, A.C., Toni, F.: Computing argumentation in logic programming. Journal of Logic and Computation\u00a09, 515\u2013562 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0306-4379(01)00020-5","volume":"26","author":"N. Karacapilidis","year":"2001","unstructured":"Karacapilidis, N., Papadias, D.: Computer supported argumentation and collaborative decision making: The hermes system. Information Systems\u00a026, 259\u2013277 (2001)","journal-title":"Information Systems"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Katzav, J., Reed, C.: On argumentation schemes and the natural classification of arguments. Argumentation\u00a018(2) (2004)","DOI":"10.1023\/B:ARGU.0000024044.34360.82"},{"key":"16_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and Data Structures in VLSI Design","author":"C. Meinel","year":"1998","unstructured":"Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design. Springer-Verlag New York, Inc, Secaucus (1998)"},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/337292.337305","volume-title":"DAC 2000: Proceedings of the 37th Conference on Design Automation","author":"I.-H. Moon","year":"2000","unstructured":"Moon, I.-H., Kukula, J.H., Ravi, K., Somenzi, F.: To split or to conjoin: the question in image computation. In: DAC 2000: Proceedings of the 37th Conference on Design Automation, pp. 23\u201328. ACM Press, New York (2000)"},{"key":"16_CR30","first-page":"628","volume-title":"ICCAD 1994: Proceedings of the 1994 IEEE\/ACM International Conference on Computer-aided Design","author":"S. Panda","year":"1994","unstructured":"Panda, S., Somenzi, F., Plessier, B.F.: Symmetry detection and dynamic variable ordering of decision diagrams. In: ICCAD 1994: Proceedings of the 1994 IEEE\/ACM International Conference on Computer-aided Design, pp. 628\u2013631. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"16_CR31","volume-title":"Heuristics: intelligent search strategies for computer problem solving","author":"J. Pearl","year":"1984","unstructured":"Pearl, J.: Heuristics: intelligent search strategies for computer problem solving. Addison-Wesley Longman Publishing Co., Inc., Boston (1984)"},{"issue":"6","key":"16_CR32","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1093\/logcom\/exi046","volume":"15","author":"H. Prakken","year":"2005","unstructured":"Prakken, H.: Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation\u00a015(6), 1009\u20131040 (2005)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"16_CR33","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1017\/S0269888904000098","volume":"18","author":"I. Rahwan","year":"2003","unstructured":"Rahwan, I., Ramchurn, S.D., Jennings, N.R., Mcburney, P., Parsons, S., Sonenberg, L.: Argumentation-based negotiation. The Knowledge Engineering Review\u00a018(4), 343\u2013375 (2003)","journal-title":"The Knowledge Engineering Review"},{"key":"16_CR34","unstructured":"Tang, Y., Norman, T.J., Parsons, S.: A model for integrating dialogue and the execution of joint plans. In: Proceedings of the Eigth International Joint Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, May 10-15 (2009)"},{"key":"16_CR35","volume-title":"Proceedings of the Second Annual Conference of the ITA","author":"Y. Tang","year":"2009","unstructured":"Tang, Y., Norman, T.J., Parsons, S.: Towards the implementation of a system for planning team activities. In: Proceedings of the Second Annual Conference of the ITA. University of Maryland University College, Maryland (2009)"},{"key":"16_CR36","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1145\/1082473.1082557","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"Y. Tang","year":"2005","unstructured":"Tang, Y., Parsons, S.: Argumentation-based dialogues for deliberation. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 552\u2013559. ACM Press, New York (2005)"},{"key":"16_CR37","unstructured":"Tang, Y., Parsons, S.: Using argumentation-based dialogues for distributed plan management. In: Proceedings of the AAAI Spring Symposium on Distributed Plan and Schedule Management, Stanford (2006)"},{"key":"16_CR38","unstructured":"Tang, Y., Parsons, S.: A dialogue mechanism for public argumentation using conversation policies. In: Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Estoril, Portugal, May 12-16, pp. 445\u2013452 (2008)"}],"container-title":["Lecture Notes in Computer Science","Argumentation in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21940-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,29]],"date-time":"2021-12-29T16:57:06Z","timestamp":1640797026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21940-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642219399","9783642219405"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21940-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}