{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:59:30Z","timestamp":1740095970280,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048197"},{"type":"electronic","value":"9783642048203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04820-3_8","type":"book-chapter","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T11:48:07Z","timestamp":1258458487000},"page":"81-91","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Theory of Cooperative TU-Games"],"prefix":"10.1007","author":[{"given":"Marc","family":"Daumas","sequence":"first","affiliation":[]},{"given":"\u00c9rik","family":"Martin-Dorel","sequence":"additional","affiliation":[]},{"given":"Annick","family":"Truffert","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Ventou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF01414212","volume":"38","author":"H. Aarts","year":"1993","unstructured":"Aarts, H., Driessen, T.: The irreducible core of a minimum cost spanning tree game. Mathematical Methods of Operations Research\u00a038(2), 163\u2013174 (1993), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/BF01414212","journal-title":"Mathematical Methods of Operations Research"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1002\/net.3230060404","volume":"6","author":"C.G. Bird","year":"1976","unstructured":"Bird, C.G.: On cost allocation for a spanning tree: A game theoretic approach. Networks\u00a06(4), 335\u2013350 (1976), \n                      \n                        http:\/\/dx.doi.org\/10.1002\/net.3230060404","journal-title":"Networks"},{"key":"8_CR3","first-page":"119","volume":"10","author":"O.N. Bondareva","year":"1963","unstructured":"Bondareva, O.N.: Some applications of linear programming methods to the theory of cooperative games. Problemy kibernetiki\u00a010, 119\u2013139 (1963) (Russian)","journal-title":"Problemy kibernetiki"},{"key":"8_CR4","unstructured":"Daumas, M., Lester, D., Martin-Dorel, \u00c9., Truffert, A.: Stochastic formal correctness of numerical algorithms. In: NASA Formal Methods Symposium, pp. 136\u2013145 (2009a), \n                      \n                        http:\/\/ti.arc.nasa.gov\/m\/event\/nfm09\/NFM09Proceedings.pdf"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TC.2008.213","volume":"58","author":"M. Daumas","year":"2009","unstructured":"Daumas, M., Lester, D., Mu\u00f1oz, C.: Verified real number calculations: A library for interval arithmetic. IEEE Transactions on Computers\u00a058(2), 226\u2013237 (2009b), \n                      \n                        http:\/\/dx.doi.org\/10.1109\/TC.2008.213","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR6","unstructured":"Daumas, M., Martin-Dorel, \u00c9., Truffert, A.: Bornes quasi-certaines sur l\u2019accumulation d\u2019erreurs infimes dans les syst\u00e8mes hybrides. In: MAnifestation des JEunes Chercheurs en Sciences et Technologies de l\u2019Information et de la Communication, Avignon, France (2009c)"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1002\/nav.3800120303","volume":"12","author":"M. Davis","year":"1965","unstructured":"Davis, M., Maschler, M.: The kernel of a cooperative game. Naval Research Logistic Quarterly\u00a012(3), 223\u2013259 (1965), \n                      \n                        http:\/\/dx.doi.org\/10.1002\/nav.3800120303","journal-title":"Naval Research Logistic Quarterly"},{"key":"8_CR8","first-page":"505","volume":"50","author":"T.S.H. Driessen","year":"1985","unstructured":"Driessen, T.S.H.: A new characterization of the Shapley-value. Methods of Operations Research\u00a050, 505\u2013517 (1985)","journal-title":"Methods of Operations Research"},{"key":"#cr-split#-8_CR9.1","unstructured":"Foug\u00e8res, A., Truffert, A., Ventou, M.: Dualit\u00e9 probabiliste des jeux coop\u00e9ratifs\u00a0: la stabilit\u00e9 comme principe d\u2019\u00e9quilibre, d\u00e9termination algorithmique du nucleolus. Documents de travail 99A19, Groupement de Recherche en Economie Quantitative d\u2019Aix Marseille (1999),                                               http:\/\/www.vcharite.univ-mrs.fr\/GREQAM\/pdf\/working_papers\/1999\/99a19s.pdf;"},{"key":"#cr-split#-8_CR9.2","unstructured":"Travaux pr\u00e9sent\u00e9s aux journ\u00e9es du LEA (Jeux Coop\u00e9ratifs, Agr\u00e9gation et Optimisation)"},{"key":"#cr-split#-8_CR10.1","unstructured":"Foug\u00e8res, A., Truffert, A., Ventou, M.: Minimal core generation. Technical Report 00A27, Groupement de Recherche en Economie Quantitative d\u2019Aix Marseille (2000a),                                               http:\/\/www.vcharite.univ-mrs.fr\/GREQAM\/pdf\/working_papers\/2000\/00a27.pdf;"},{"key":"#cr-split#-8_CR10.2","unstructured":"Work presented at the First World Congress of the Game Theory, Bilbao (2000)"},{"key":"#cr-split#-8_CR11.1","unstructured":"Foug\u00e8res, A., Truffert, A., Ventou, M.: The core revisited: conditional cores and leader coalitions. Technical Report 00A28, Groupement de Recherche en Economie Quantitative d\u2019Aix Marseille (2000b),                                               http:\/\/www.vcharite.univ-mrs.fr\/GREQAM\/pdf\/working_papers\/2000\/00a28.pdf;"},{"key":"#cr-split#-8_CR11.2","unstructured":"Work presented at the workshop on coalition formation, Barcelona (2000)"},{"key":"8_CR12","unstructured":"Gillies, D.B.: Some theorems on n-person games. PhD thesis, Princeton University (1953)"},{"key":"8_CR13","unstructured":"Gonthier, G., Mahboubi, A.: A small scale reflection extension for the Coq system. Research Report 6455, Institut National de Recherche en Informatique et en Automatique, Le Chesnay, France (2008), \n                      \n                        http:\/\/hal.inria.fr\/inria-00258384\/"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01584227","volume":"21","author":"D. Granot","year":"1981","unstructured":"Granot, D., Huberman, G.: On minimum cost spanning tree games. Mathematical Programming\u00a021(1), 1\u201318 (1981), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/BF01584227","journal-title":"Mathematical Programming"},{"key":"8_CR15","unstructured":"Huet, G., Kahn, G., Paulin-Mohring, C.: The Coq proof assistant: a tutorial: version 8.0 (2004), \n                      \n                        ftp:\/\/ftp.inria.fr\/INRIA\/coq\/current\/doc\/Tutorial.pdf.gz"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1287\/moor.28.2.294.14477","volume":"28","author":"W. Kern","year":"2003","unstructured":"Kern, W., Paulusna, D.: Matching game: the least core and the nucleolus. Mathematics of Operations Research\u00a028(2), 294\u2013308 (2003), \n                      \n                        http:\/\/dx.doi.org\/10.1287\/moor.28.2.294.14477","journal-title":"Mathematics of Operations Research"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01753435","volume":"1","author":"M. Maschler","year":"1971","unstructured":"Maschler, M., Peleg, B., Shapley, L.S.: The kernel and bargaining set for convex games. International Journal of Game Theory\u00a01(1), 73\u201393 (1971), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/BF01753435","journal-title":"International Journal of Game Theory"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1287\/moor.4.4.303","volume":"4","author":"M. Maschler","year":"1979","unstructured":"Maschler, M., Peleg, B., Shapley, L.S.: Geometric properties of the kernel, nucleolus, and related solution concepts. Mathematics of Operations Research\u00a04(4), 303\u2013338 (1979), \n                      \n                        http:\/\/dx.doi.org\/10.1287\/10.1287\/moor.4.4.303","journal-title":"Mathematics of Operations Research"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992), \n                      \n                        http:\/\/pvs.csl.sri.com\/papers\/cade92-pvs\/cade92-pvs.ps"},{"key":"8_CR20","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS Language Reference. In: SRI International, Version 2.4 (2001), \n                      \n                        http:\/\/pvs.csl.sri.com\/doc\/pvs-language-reference.pdf"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF01766427","volume":"19","author":"J.A.M. Potters","year":"1991","unstructured":"Potters, J.A.M.: An axiomatization of the nucleolus. International Journal of Game Theory\u00a019(4), 365\u2013373 (1991), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/BF01766427","journal-title":"International Journal of Game Theory"},{"issue":"6","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1137\/0117107","volume":"17","author":"D. Schmeidler","year":"1969","unstructured":"Schmeidler, D.: The nucleolus of a characteristic function game. SIAM Journal of Applied Mathematics\u00a017(6), 1163\u20131170 (1969), \n                      \n                        http:\/\/dx.doi.org\/10.1137\/0117107","journal-title":"SIAM Journal of Applied Mathematics"},{"key":"8_CR23","first-page":"307","volume-title":"Contributions to the Theory of Games II","author":"L.S. Shapley","year":"1953","unstructured":"Shapley, L.S.: A value for n-person games. In: Contributions to the Theory of Games II, pp. 307\u2013317. Princeton University Press, Princeton (1953)"},{"issue":"4","key":"8_CR24","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1002\/nav.3800140404","volume":"14","author":"L.S. Shapley","year":"1967","unstructured":"Shapley, L.S.: On balanced sets and cores. Naval Research Logistic Quarterly\u00a014(4), 453\u2013460 (1967), \n                      \n                        http:\/\/dx.doi.org\/10.1002\/nav.3800140404","journal-title":"Naval Research Logistic Quarterly"},{"issue":"1","key":"8_CR25","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BF01753437","volume":"1","author":"L.S. Shapley","year":"1971","unstructured":"Shapley, L.S., Shubik, M.: The assignment game: the core. International Journal of Game Theory\u00a01(1), 111\u2013130 (1971), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/BF01753437","journal-title":"International Journal of Game Theory"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1287\/moor.20.1.189","volume":"20","author":"C. Snijders","year":"1995","unstructured":"Snijders, C.: Axiomatization of the nucleolus. Mathematics of Operation Research\u00a020(1), 189\u2013196 (1995), \n                      \n                        http:\/\/dx.doi.org\/10.1287\/moor.20.1.189","journal-title":"Mathematics of Operation Research"},{"key":"8_CR27","first-page":"94","volume":"6","author":"A.I. Sobolev","year":"1975","unstructured":"Sobolev, A.I.: The characterization of optimality principles in cooperative games by functional equations. Mathematical Methods in Social Sciences\u00a06, 94\u2013151 (1975) (Russian)","journal-title":"Mathematical Methods in Social Sciences"},{"issue":"2","key":"8_CR28","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1287\/moor.27.2.441.326","volume":"27","author":"P. Sudh\u00f6lter","year":"2002","unstructured":"Sudh\u00f6lter, P., Peleg, B.: A note on an axiomatization of the core of market games. Mathematics of Operations Research\u00a027(2), 441\u2013444 (2002), \n                      \n                        http:\/\/dx.doi.org\/10.1287\/moor.27.2.441.326","journal-title":"Mathematics of Operations Research"},{"issue":"3","key":"8_CR29","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s003550050113","volume":"15","author":"P. Sudh\u00f6lter","year":"1998","unstructured":"Sudh\u00f6lter, P., Peleg, B.: Nucleoli as maximizers of collective satisfaction functions. Social Choice and Welfare\u00a015(3), 383\u2013411 (1998), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/s003550050113","journal-title":"Social Choice and Welfare"},{"issue":"1","key":"8_CR30","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s001820100068","volume":"30","author":"P. Sudh\u00f6lter","year":"2001","unstructured":"Sudh\u00f6lter, P., Potters, J.A.M.: The semireactive bargaining set of a cooperative game. International Journal of Game Theory\u00a030(1), 117\u2013139 (2001), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/s001820100068","journal-title":"International Journal of Game Theory"},{"key":"8_CR31","volume-title":"Theory of Games and Economic Behavior","author":"J. Neumann von","year":"1944","unstructured":"von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press, Princeton (1944)"}],"container-title":["Lecture Notes in Computer Science","Modeling Decisions for Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04820-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:12:20Z","timestamp":1619781140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04820-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048197","9783642048203"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04820-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}