{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:40:07Z","timestamp":1743975607046,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_9","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"110-127","source":"Crossref","is-referenced-by-count":16,"title":["Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach"],"prefix":"10.1007","author":[{"given":"Isabelle","family":"Mirbel","sequence":"first","affiliation":[]},{"given":"Serena","family":"Villata","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Ab Aziz, R., Zowghi, D., McBride, T.: Towards a Classification of Requirements Relationships. In: 21st International Conference on Software Engineering and Knowledge Engineering, pp. 26\u201332 (2009)"},{"issue":"5","key":"9_CR2","doi-asserted-by":"publisher","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D. Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User Requirements Notation: The First Ten Years, The Next Ten Years. Journal of Software\u00a06(5), 747\u2013768 (2011)","journal-title":"Journal of Software"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bagheri, E., Ensan, F.: Consolidating multiple requirement specifications through argumentation. In: 26th Symposium on Applied Computing, pp. 659\u2013666 (2011)","DOI":"10.1145\/1982185.1982332"},{"issue":"10-15","key":"9_CR4","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","volume":"171","author":"P. Baroni","year":"2007","unstructured":"Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell.\u00a0171(10-15), 675\u2013700 (2007)","journal-title":"Artif. Intell."},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.ijar.2010.05.004","volume":"52","author":"P. Baroni","year":"2011","unstructured":"Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: Afra: Argumentation framework with recursive attacks. Int. J. Approx. Reasoning\u00a052(1), 19\u201337 (2011)","journal-title":"Int. J. Approx. Reasoning"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Besnard, P., Hunter, A.: Elements of argumentation. MIT Press (2008)","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L., Villata, S.: On the Acceptability of Meta-arguments. In: International Conference on Intelligent Agent Technology, pp. 259\u2013262 (2009)","DOI":"10.1109\/WI-IAT.2009.159"},{"issue":"2-3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11225-009-9213-2","volume":"93","author":"G. Boella","year":"2009","unstructured":"Boella, G., Gabbay, D.-M., van der Torre, L., Villata, S.: Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica\u00a093(2-3), 297\u2013355 (2009)","journal-title":"Studia Logica"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Support in abstract argumentation. In: 3rd International Conference Computational Models of Argument, pp. 40\u201351. IOS Press (2010)","DOI":"10.3233\/978-1-60750-619-5-111"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-70657-7_11","volume-title":"Agent-Oriented Software Engineering II","author":"P. Bresciani","year":"2002","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Modeling Early Requirements in Tropos: A Transformation Based Approach. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 151\u2013168. Springer, Heidelberg (2002)"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/int.20389","volume":"25","author":"C. Cayrol","year":"2010","unstructured":"Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst.\u00a025(1), 83\u2013109 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"9_CR12","unstructured":"da Costa Pereira, C., Tettamanzi, A., Villata, S.: Changing ones mind: Erase or rewind? In: 22nd International Joint Conference Artificial Intelligence, pp. 164\u2013171 (2011)"},{"issue":"2","key":"9_CR13","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. Artif. Intell.\u00a077(2), 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the Tropos methodology. In: Agent-oriented Software Development, vol.\u00a018(2), pp. 159\u2013171 (2005)","DOI":"10.1016\/j.engappai.2004.11.017"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10270-009-0142-3","volume":"10","author":"A. Goknil","year":"2011","unstructured":"Goknil, A., Kurtev, I., van den Berg, K., Veldhuis, J.-W.: Semantics of trace relations in requirements models for consistency checking and inferencing. Software and System Modeling\u00a010(1), 31\u201354 (2011)","journal-title":"Software and System Modeling"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ingolfo, S., Siena, A., Mylopoulos, J.: Establishing Regulatory Compliance for Software Requirements. In: 30th IEEE International Requirements Engineering Conference, pp. 47\u201361 (2011)","DOI":"10.1007\/978-3-642-24606-7_5"},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1093\/logcom\/9.2.215","volume":"9","author":"H. Jakobovits","year":"1999","unstructured":"Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. J. Log. Comput.\u00a09(2), 215\u2013261 (1999)","journal-title":"J. Log. Comput."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Jureta, I., Mylopoulos, J., Faulkner, S.: Analysis of Multi-Party Agreement in Requirements Validation. In: 17th IEEE International Requirements Engineering Conference, pp. 57\u201366 (2009)","DOI":"10.1109\/RE.2009.8"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Fifth IEEE International Symposium on Requirements Engineering, vol.\u00a0249 (2001)","DOI":"10.1109\/ISRE.2001.948567"},{"issue":"11","key":"9_CR20","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering\u00a024(11), 908\u2013926 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"9_CR21","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1093\/logcom\/exq054","volume":"21","author":"S. Modgil","year":"2011","unstructured":"Modgil, S., Bench-Capon, T.J.M.: Metalevel argumentation. J. Log. Comput.\u00a021(6), 959\u20131003 (2011)","journal-title":"J. Log. Comput."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Pohl, K.: Requirements Engineering. Fundamentals, Principles, and Techniques. Springer (2010)","DOI":"10.1007\/978-3-642-12578-2_20"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s007660050018","volume":"4","author":"C. Rolland","year":"1999","unstructured":"Rolland, C., Prakash, N., Benjamen, A.: A Multi-Model View of Process Modelling. Requirement Engineering\u00a04(4), 169\u2013187 (1999)","journal-title":"Requirement Engineering"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Villata, S., Boella, G., van der Torre, L.: Argumentation Patterns. In: 8th International Workshop on Argumentation in Multi-Agent Systems, pp. 133\u2013150 (2011)","DOI":"10.1007\/978-3-642-12805-9_9"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-22152-1_7","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"S. Villata","year":"2011","unstructured":"Villata, S., Boella, G., Gabbay, D.M., van der Torre, L.: Arguing about the Trustworthiness of the Information Sources. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol.\u00a06717, pp. 74\u201385. Springer, Heidelberg (2011)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: 3rd IEEE Int. Symp. on Requirements Engineering, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"}],"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-32897-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:01:45Z","timestamp":1743973305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}