{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:02Z","timestamp":1725511982840},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696186"},{"type":"electronic","value":"9783540696193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69619-3_7","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T23:32:47Z","timestamp":1179185567000},"page":"115-133","source":"Crossref","is-referenced-by-count":0,"title":["Dialogue Game Tree with Nondeterministic Additive Consolidation"],"prefix":"10.1007","author":[{"given":"Yoshitaka","family":"Suzuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR2","volume-title":"Social Choice and Individual Values","author":"K.J. Arrow","year":"1963","unstructured":"Arrow, K.J.: Social Choice and Individual Values, 2nd edn. Yale University Press, Yale (1963)","edition":"2"},{"key":"7_CR3","volume-title":"Modeling Legal Argument","author":"K.D. Ashley","year":"1990","unstructured":"Ashley, K.D.: Modeling Legal Argument. The MIT Press, Cambridge (1990)"},{"key":"7_CR4","first-page":"12","volume-title":"Proceedings of The Eighth International Conference on Artificial Intelligence and Law (ICAIL\u201901)","author":"T. Bench-Capon","year":"2001","unstructured":"Bench-Capon, T., Sartor, G.: Theory Based Explanation of Case Law Domains. In: Proceedings of The Eighth International Conference on Artificial Intelligence and Law (ICAIL\u201901), pp. 12\u201321. ACM, New York (2001)"},{"issue":"1-2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(03)00108-5","volume":"150","author":"T. Bench-Capon","year":"2003","unstructured":"Bench-Capon, T., Sartor, G.: A model of legal reasoning with cases incorporating theories and values. Artificial Intelligence\u00a0150(1-2), 97\u2013143 (2003)","journal-title":"Artificial Intelligence"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/158976.158982","volume-title":"The Fourth International Conference on Artificial Intelligence and Law (ICAIL\u201993)","author":"D.H. Berman","year":"1993","unstructured":"Berman, D.H., Hafner, C.D.: Representing Teleological Structure in Case Based Reasoning. In: The Fourth International Conference on Artificial Intelligence and Law (ICAIL\u201993), pp. 50\u201359. ACM, New York (1993)"},{"key":"7_CR7","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. Journal of Logic and Computation\u00a011, 257\u2013282 (2001)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1165485.1165493","volume-title":"Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905)","author":"A. Chorley","year":"2005","unstructured":"Chorley, A., Bench-Capon, T.: AGATHA: Automated Construction of Case Law Theories Through Heuristic Search. In: Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905), pp. 45\u201354. ACM, New York (2005)"},{"key":"7_CR9","first-page":"163","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR\u201991)","author":"J. Doyle","year":"1991","unstructured":"Doyle, J.: \u201cRational Belief Revision (Preliminary Report),\u201d. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference (KR\u201991), pp. 163\u2013174. Morgan Kaufmann, San Francisco (1991)"},{"issue":"2","key":"7_CR10","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\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"7_CR11","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"key":"7_CR12","first-page":"24","volume":"44","author":"P. G\u00e4rdenfors","year":"1990","unstructured":"G\u00e4rdenfors, P.: The dynamics of belief systems: Foundations vs. coherence theories. Revue International de Philosopie\u00a044, 24\u201346 (1990)","journal-title":"Revue International de Philosopie"},{"issue":"2-3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Geffner, H., Pearl, J.: Conditional Entailment: Bridging Two Approaches to Default Reasoning. Artificial Intelligence\u00a053(2-3), 209\u2013244 (1992)","journal-title":"Artificial Intelligence"},{"key":"7_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-48159-1_23","volume-title":"Progress in Artificial Intelligence","author":"P.D. Giusto","year":"1999","unstructured":"Giusto, P.D., Governatori, G.: A New Approach to Base Revision. In: Barahona, P., Alferes, J.J. (eds.) EPIA 1999. LNCS (LNAI), vol.\u00a01695, pp. 327\u2013341. Springer, Heidelberg (1999)"},{"key":"7_CR15","volume-title":"The Pleadings Game. An Artificial Intelligence Model of Procedural Justice","author":"T.F. Gordon","year":"1995","unstructured":"Gordon, T.F.: The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modelings for theory change. Journal of Philosophical Logic\u00a017, 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR17","volume-title":"Reasoning With Rules. An Essay on Legal Reasoning and Its Underlying Logic","author":"J.C. Hage","year":"1997","unstructured":"Hage, J.C.: Reasoning With Rules. An Essay on Legal Reasoning and Its Underlying Logic. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/1165485.1165533","volume-title":"Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905)","author":"A. Hamfelt","year":"2005","unstructured":"Hamfelt, A., Eriksson, J., Nilsson, J.F.: A Metalogical Formalization of Legal Argumentation as Game Trees with Defeasible Reasoning. In: Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905), pp. 250\u2013251. ACM, New York (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-94-015-8311-4_2","volume-title":"Logic and Philosophy of Science in Uppsala","author":"S.O. Hansson","year":"1994","unstructured":"Hansson, S.O.: Taking belief bases seriously. In: Prawitz, D., Westerstahl, D. (eds.) Logic and Philosophy of Science in Uppsala, pp. 13\u201328. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"7_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics. Theory Change and Database Updating","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O., Textbook, A.: A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1004743819412","volume":"29","author":"S.O. Hansson","year":"2000","unstructured":"Hansson, S.O.: Coherentist Contraction. Journal of Philosophical Logic\u00a029, 315\u2013330 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052, 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.2307\/3328660","volume":"54","author":"P. Klein","year":"1994","unstructured":"Klein, P., Warfield, T.A.: What price coherence? Analysis\u00a054, 129\u2013132 (1994)","journal-title":"Analysis"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"41","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a041, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00078-2","volume":"104","author":"S. Kraus","year":"1998","unstructured":"Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence\u00a0104, 1\u201369 (1998)","journal-title":"Artificial Intelligence"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"7_CR27","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"35","volume-title":"Nonmonotonic Reasoning and Uncertain Reasoning","author":"D. Makinson","year":"1994","unstructured":"Makinson, D.: General Patterns in Nonmonotonic Reasoning. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Nonmonotonic Reasoning and Uncertain Reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 35\u2013110. Oxford University Press, Oxford (1994)"},{"key":"7_CR28","first-page":"52","volume-title":"Proceedings of The Eighth International Conference on Artificial Intelligence and Law (ICAIL\u201901)","author":"J. Maranh\u00e3o","year":"2001","unstructured":"Maranh\u00e3o, J.: Refinement. A tool to deal with inconsistencies. In: Proceedings of The Eighth International Conference on Artificial Intelligence and Law (ICAIL\u201901), pp. 52\u201359. ACM, New York (2001)"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1008274704871","volume":"7","author":"E.J. Olsson","year":"1998","unstructured":"Olsson, E.J.: Making Beliefs Coherent. Journal of Logic, Language, and Information\u00a07, 143\u2013163 (1998)","journal-title":"Journal of Logic, Language, and Information"},{"key":"7_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8975-8","volume-title":"Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law","author":"H. Prakken","year":"1997","unstructured":"Prakken, H.: Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1165485.1165500","volume-title":"Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905)","author":"H. Prakken","year":"2005","unstructured":"Prakken, H.: A study of Accrual of Arguments, with Applications to Evidential Reasoning. In: Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905), pp. 85\u201394. ACM, New York (2005)"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. In: Artificial Intelligence and Law 4, pp. 331\u2013368 (1996)","DOI":"10.1007\/978-94-011-5668-4_6"},{"key":"7_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45632-5_14","volume-title":"Computational Logic: Logic Programming and Beyond","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Sartor, G.: The role of logic in computational models of legal argument: a critical survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 342\u2013380. Springer, Heidelberg (2002)"},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1111\/j.0952-1917.2004.00259.x","volume":"17","author":"H. Prakken","year":"2004","unstructured":"Prakken, H., Sartor, G.: The three faces of defeasibility in the law. Ratio Juris\u00a017(1), 118\u2013139 (2004)","journal-title":"Ratio Juris"},{"key":"7_CR35","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change, choice and inference : a study of belief revision and nonmonotonic reasoning","author":"H. Rott","year":"2001","unstructured":"Rott, H.: Change, choice and inference: a study of belief revision and nonmonotonic reasoning. Oxford University Press, Oxford (2001)"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1019589831118","volume":"10","author":"G. Sartor","year":"2002","unstructured":"Sartor, G.: Teleological Arguments and Theory-based Dialectics. Artificial Intelligence and Law\u00a010, 95\u2013112 (2002)","journal-title":"Artificial Intelligence and Law"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1165485.1165502","volume-title":"Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905)","author":"Y. Suzuki","year":"2005","unstructured":"Suzuki, Y., Tojo, S.: Additive Consolidation for Dialogue Game. In: Proceedings of The Tenth International Conference on Artificial Intelligence and Law (ICAIL\u201905), pp. 105\u2013114. ACM, New York (2005)"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Suzuki, Y.: Additive Consolidation with Maximal Change. In: The 13th Workshop on Logic, Language, Information and Computation (WoLLIC\u201906) (to appear, 2006)","DOI":"10.1016\/j.entcs.2006.05.045"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69619-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T08:24:50Z","timestamp":1707899090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69619-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540696186","9783540696193"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69619-3_7","relation":{},"subject":[]}}