{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:52Z","timestamp":1725560572420},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221241"},{"type":"electronic","value":"9783540259329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25932-9_14","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:16:46Z","timestamp":1280261806000},"page":"263-279","source":"Crossref","is-referenced-by-count":13,"title":["Linear Logic, Partial Deduction and Cooperative Problem Solving"],"prefix":"10.1007","author":[{"given":"Peep","family":"K\u00fcngas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihhail","family":"Matskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1093\/logcom\/9.4.563","volume":"9","author":"M. Wooldridge","year":"1999","unstructured":"Wooldridge, M., Jennings, N.R.: The cooperative problem-solving process. Journal of Logic and Computation\u00a09, 563\u2013592 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/130956.130958","volume":"23","author":"P. Lincoln","year":"1992","unstructured":"Lincoln, P.: Linear logic. ACM SIGACT Notices\u00a023, 29\u201337 (1992)","journal-title":"ACM SIGACT Notices"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Lincoln, P.: Deciding provability of linear logic formulas. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Note Series, vol.\u00a0222, pp. 109\u2013122 (1995)","DOI":"10.1017\/CBO9780511629150.006"},{"key":"14_CR5","unstructured":"Komorowski, J.: A specification of an abstract prolog machine and its application to partial evaluation. PhD thesis. Technical Report LSST 69, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden (1981)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. Journal of Logic Programming\u00a011, 217\u2013242 (1991)","journal-title":"Journal of Logic Programming"},{"key":"14_CR7","first-page":"23","volume":"30","author":"M. Matskin","year":"1997","unstructured":"Matskin, M., Komorowski, J.: Partial structural synthesis of programs. Fundamenta Informaticae\u00a030, 23\u201341 (1997)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Harland, J., Winikoff, M.: Agent negotiation as proof search in linear logic. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002)","DOI":"10.1145\/544862.544957"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/8.3.261","volume":"8","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation\u00a08, 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1008746126376","volume":"10","author":"N.R. Jennings","year":"2001","unstructured":"Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Sierra, C., Wooldridge, M.: Automated negotiation: Prospects, methods and challenges. International Journal of Group Decision and Negotiation\u00a010, 199\u2013215 (2001)","journal-title":"International Journal of Group Decision and Negotiation"},{"key":"14_CR11","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":"14_CR12","volume-title":"Proceedings of the Fourth International Conference on Multi-Agent Systems","author":"M. Fisher","year":"2000","unstructured":"Fisher, M.: Characterising simple negotiation as distributed agent-based theoremproving \u2013 a preliminary report. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, IEEE Press, Los Alamitos (2000)"},{"key":"14_CR13","unstructured":"Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: An abductive approach. In: Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Convention (AISB-2001), York, UK (2001)"},{"key":"14_CR14","unstructured":"Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: Proceedings of 14th European Conference on Artificial Intelligence, Berlin, Germany, pp. 338\u2013342 (2000)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-63077-5_30","volume-title":"Multi-Agent Rationality","author":"M. Fisher","year":"1997","unstructured":"Fisher, M., Wooldridge, M.: Distributed problem-solving as concurrent theorem proving. In: Boman, M., Van de Velde, W. (eds.) MAAMAW 1997. LNCS, vol.\u00a01237, pp. 128\u2013140. Springer, Heidelberg (1997)"},{"key":"14_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-44593-5_14","volume-title":"Case-Based Reasoning Research and Development","author":"J.A. Giampapa","year":"2001","unstructured":"Giampapa, J.A., Sycara, K.: Conversational case-based planning for agent team coordination. In: Aha, D.W., Watson, I. (eds.) ICCBR 2001. LNCS (LNAI), vol.\u00a02080, p. 189. Springer, Heidelberg (2001)"},{"key":"14_CR17","unstructured":"Levesque, H.J., Cohen, P.R., Nunes, J.H.T.: On acting together. In: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI 1990, pp. 94\u201399 (1990)"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"487","DOI":"10.2307\/2216075","volume":"25","author":"P.R. Cohen","year":"1991","unstructured":"Cohen, P.R., Levesque, H.J.: Teamwork. Nous\u00a025, 487\u2013512 (1991)","journal-title":"Nous"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(95)00103-4","volume":"86","author":"B. Grosz","year":"1996","unstructured":"Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence\u00a086, 269\u2013357 (1996)","journal-title":"Artificial Intelligence"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843096000087","volume":"5","author":"K. Sycara","year":"1996","unstructured":"Sycara, K., Zeng, D.: Coordination of multiple intelligent software agents. International Journal of Intelligent and Cooperative Information Systems\u00a05, 181\u2013211 (1996)","journal-title":"International Journal of Intelligent and Cooperative Information Systems"},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.433","volume":"7","author":"M. Tambe","year":"1997","unstructured":"Tambe, M.: Towards flexible teamwork. Journal of Artificial Intelligence Research\u00a07, 83\u2013124 (1997)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-642-60085-2_1","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"M. Bozzano","year":"1999","unstructured":"Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F.: Logic programming & multi-agent systems: a synergic combination for applications and semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 5\u201332. Springer, Heidelberg (1999)"},{"key":"14_CR23","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002)","author":"J. Harland","year":"2002","unstructured":"Harland, J., Winikoff, M.: Language design issues for agents based on linear logic. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002), Copenhagen, Denmark, August 1. Electronic Notes in Theoretical Computer Science, vol.\u00a070(5), Elsevier, Amsterdam (2002)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25932-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T09:26:38Z","timestamp":1552814798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25932-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221241","9783540259329"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25932-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}