{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:30Z","timestamp":1725488190117},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540673507"},{"type":"electronic","value":"9783540462385"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46238-4_25","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:05:23Z","timestamp":1185933923000},"page":"285-296","source":"Crossref","is-referenced-by-count":0,"title":["Notes on formalizing coordination?"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Agostini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"L. Blum and M. Blum. Toward a mathematical theory of inductive inference. Information and Control, 28(2):125\u2013155, 1975.","journal-title":"Information and Control"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"P. Brazdil, M. Gams, S. Sian, L. Torgo, and W. van de Velde. Learning in distributed systems and multi-agent environments. In Y. Kodratoff, editor, Machine Learning-European Working Session on Learning, pages 412\u2013423. Springer-Verlag LNAI 482, 1991.","DOI":"10.1007\/BFb0017034"},{"key":"25_CR3","unstructured":"C.C. Chang and J.M. Keisler. Model Theory-3rd edition. North Holland, 1990."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"H-D Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.","DOI":"10.1007\/3-540-28788-4"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"S. Franklin and A. Graesser. Is it an agent, or just a program?: A taxonomy for autonomous agents. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III-Agent Theories, Architectures, and Languages, pages 21\u201335. Springer-Verlag LNAI 1193, 1997.","DOI":"10.1007\/BFb0013570"},{"key":"25_CR6","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF00269958","volume":"22","author":"C. Glymour","year":"1985","unstructured":"C. Glymour. Inductive inference in the limit. Erkenntnis, 22:23\u201331, 1985.","journal-title":"Erkenntnis"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. M. Gold","year":"1967","unstructured":"E. M. Gold. Language identification in the limit. Information and Control, 10:447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"25_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems That Learn-An Introduction to Learning Theory","author":"S. Jain","year":"1999","unstructured":"S. Jain, D. Osherson, J. Royer, and A. Sharma. Systems That Learn-An Introduction to Learning Theory, 2nd edition. The MIT Series in Learning, Development, and Conceptual Change, v. 22. MIT Press, Cambridge, MA, 1999.","edition":"2nd edition"},{"key":"25_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"K. T. Kelly","year":"1996","unstructured":"K. T. Kelly. The Logic of Reliable Inquiry. Oxford University Press, New York, NY, 1996."},{"key":"25_CR11","volume-title":"Conventions. A Philosophical Study","author":"D. K. Lewis","year":"1969","unstructured":"D. K. Lewis. Conventions. A Philosophical Study. Harvard University Press, Cambridge, MA, 1969."},{"issue":"4","key":"25_CR12","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.2307\/2275647","volume":"62","author":"E. Martin","year":"1997","unstructured":"E. Martin and D. Osherson. Scientific discovery based on belief revision. Journal of Symbolic Logic, 62(4):1352\u20131370, 1997.","journal-title":"Journal of Symbolic Logic"},{"key":"25_CR13","volume-title":"Elements of Scientific Inquiry","author":"E. Martin","year":"1998","unstructured":"E. Martin and D. Osherson. Elements of Scientific Inquiry. MIT Press, Cambridge, MA, 1998."},{"key":"25_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7288-6","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1987","unstructured":"E. Mendelson. Introduction to Mathematical Logic-3rd edition. The Wadsworth & Brooks\/Cole mathematics series. Wadsworth, Monterey, CA, 1987.","edition":"3rd edition"},{"key":"25_CR15","unstructured":"F. Montagna and D. Osherson. Learning to coordinate: A recursion theoretic perspective. Synthese, in press."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"D. Osherson, D. de Jongh, E. Martin, and S. Weinstein. Formal Learning Theory. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 737\u2013775. Elsevier Science Publishers B.V., 1997.","DOI":"10.1016\/B978-044481714-3\/50017-5"},{"key":"25_CR17","volume-title":"Systems That Learn","author":"D. Osherson","year":"1986","unstructured":"D. Osherson, M. Stob, and S. Weinstein. Systems That Learn. The MIT Series in Learning, Development, and Conceptual Change, v. 4. MIT Press, Cambridge, MA, 1986."},{"issue":"2","key":"25_CR18","doi-asserted-by":"publisher","first-page":"661","DOI":"10.2307\/2274708","volume":"56","author":"D. Osherson","year":"1991","unstructured":"D. Osherson, M. Stob, and S. Weinstein. A universal inductive inference machine. Journal of Symbolic Logic, 56(2):661\u2013672, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF00250549","volume":"15","author":"D. Osherson","year":"1986","unstructured":"D. Osherson and S. Weinstein. Identification in the limit of first order structures. Journal of Philosophical Logic, 15:55\u201381, 1986.","journal-title":"Journal of Philosophical Logic"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"E. Plaza, J. L. Arcos, and F. Mart\u00edn. Cooperative case-based reasoning. In G. Wei\u00df, editor, Distributed Artificial Intelligence meets Machine Learning, pages 180\u2013201. Springer-Verlag LNAI 1221, 1997.","DOI":"10.1007\/3-540-62934-3_49"},{"issue":"1","key":"25_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"H. Putnam. Trial and error predicates and a solution to a problem of Mostowski. Journal of Symbolic Logic, 30(1):49\u201357, 1965.","journal-title":"Journal of Symbolic Logic"},{"key":"25_CR22","unstructured":"S. Sen, M. Sekaran, and J. Hale. Learning to coordinate without sharing information. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 426\u2013431, Seattle, 1994."},{"key":"25_CR23","unstructured":"E. Shapiro. Inductive inference of theories from facts. In J-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in honor of Alan Robinson. MIT Press, 1991."},{"key":"25_CR24","unstructured":"Y. Shoham and M. Tennenholtz. Emergent conventions in multi-agents systems: Initial experimental results and observations. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pages 225\u2013231, Cambridge, 1992."},{"key":"25_CR25","unstructured":"Y. Shoham and M. Tennenholtz. On the synthesis of useful social laws for artificial agent societiesp. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 276\u2013281, San Jose, 1992."},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1145\/322344.322356","volume":"29","author":"C. Smith","year":"1982","unstructured":"C. Smith. The power of pluralism for automatic program synthesis. Journal of the ACM, 29:1144\u20131165, 1982.","journal-title":"Journal of the ACM"},{"key":"25_CR27","first-page":"7","volume":"7","author":"R. J. Solomonoff","year":"1964","unstructured":"R. J. Solomonoff. A formal theory of inductive inference. Information and Control, 7:7\u201322, 1964.","journal-title":"Information and Control"},{"key":"25_CR28","unstructured":"G. Wei\u00df. Learning to coordinate actions in multi-agent systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 311\u2013316, Chambery, France, 1993."},{"key":"25_CR29","doi-asserted-by":"crossref","unstructured":"G. Wei\u00df. Adaptation and learning in multi-agents systems: Some remarks and a bibliography. In G. Wei\u00df and S. Sen, editors, Adaptation and Learning in Multi-Agent Systems, pages 1\u201321. Springer-Verlag LNAI 1042, 1995.","DOI":"10.1007\/3-540-60923-7_16"},{"key":"25_CR30","doi-asserted-by":"crossref","unstructured":"M. J. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In M. J. Wooldridge and N. R. Jennings, editors, Intelligent Agents, pages 1\u201339. Springer-Verlag LNAI 890, 1995.","DOI":"10.1007\/3-540-58855-8_1"}],"container-title":["Lecture Notes in Computer Science","AI*IA 99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46238-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T05:15:00Z","timestamp":1708146900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46238-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673507","9783540462385"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-46238-4_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}