{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:09Z","timestamp":1747548369844},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240105"},{"type":"electronic","value":"9783540302001"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30200-1_5","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T18:23:07Z","timestamp":1267381387000},"page":"71-88","source":"Crossref","is-referenced-by-count":4,"title":["Symbolic Negotiation with Linear Logic"],"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":"5_CR1","first-page":"338","volume-title":"Proceedings of 14th European Conference on Artificial Intelligence","author":"L. Amgoud","year":"2000","unstructured":"Amgoud, L., Parsons, S., Maudet, N.: Arguments, Dialogue and Negotiation. In: Proceedings of 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20\u201325, pp. 338\u2013342. IOS Press, Amsterdam (2000)"},{"issue":"1-4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1018932114059","volume":"29","author":"M.P. Bonacina","year":"2000","unstructured":"Bonacina, M.P.: A Taxonomy of Parallel Strategies for Deduction. Annals of Mathematics and Artificial Intelligence\u00a029(1-4), 223\u2013257 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR3","doi-asserted-by":"publisher","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)"},{"issue":"4","key":"5_CR4","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(4), 487\u2013512 (1991)","journal-title":"Nous"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-63077-5_30","volume-title":"Proceedings of 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World","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":"5_CR6","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 Theorem-Proving\u2014A Preliminary Report. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, Boston, July 2000. IEEE Press, Los Alamitos (2000)"},{"key":"5_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"139","volume-title":"Proceedings of JELIA-1998","author":"D. Fuchs","year":"1998","unstructured":"Fuchs, D.: Requirement-Based Cooperative Theorem Proving. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 139\u2013153. Springer, Heidelberg (1998)"},{"key":"5_CR8","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: Proceedings of the Fourth International Conference on Case-Based Reasoning, ICCBR 2001","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, pp. 189\u2013203. Springer, Heidelberg (2001)"},{"key":"5_CR9","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":"5_CR10","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":"5_CR11","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), July 15\u201319, Bologna, Italy (2002)","DOI":"10.1145\/544862.544957"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Harland, J., Winikoff, M.: Language Design Issues for Agents based on Linear Logic. In: Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002) (August 2002)","DOI":"10.1016\/S1571-0661(04)80590-5"},{"issue":"11","key":"5_CR13","first-page":"2219","volume":"83","author":"T. Hirai","year":"2000","unstructured":"Hirai, T.: Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology)\u00a0E83-A(11), 2219\u20132227 (2000)","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology)"},{"issue":"2","key":"5_CR14","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(2), 199\u2013215 (2001)","journal-title":"International Journal of Group Decision and Negotiation"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/LICS.1997.614928","volume-title":"Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science,","author":"M. Kanovich","year":"1997","unstructured":"Kanovich, M., Ito, T.: Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science,, Warsaw, Poland, June 29\u2013July 2, 1997, pp. 48\u201357. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"5_CR16","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)"},{"issue":"1-2","key":"5_CR17","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-2), 1\u201369 (1998)","journal-title":"Artificial Intelligence"},{"key":"5_CR18","series-title":"Lecture Notes in Artificial Intelligence Series","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-25932-9_14","volume-title":"Declarative Agent Languages and Technologies","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P., Matskin, M.: Linear Logic, Partial Deduction and Cooperative Problem Solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. Lecture Notes in Artificial Intelligence Series, vol.\u00a02990, pp. 263\u2013279. Springer, Heidelberg (2004)"},{"key":"5_CR19","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)"},{"issue":"2","key":"5_CR20","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(2), 29\u201337 (1992)","journal-title":"ACM SIGACT Notices"},{"key":"5_CR21","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":"5_CR22","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"},{"issue":"3","key":"5_CR23","doi-asserted-by":"publisher","first-page":"888","DOI":"10.2307\/2275915","volume":"59","author":"S. Martini","year":"1994","unstructured":"Martini, S., Masini, A.: A Modal View of Linear Logic. Journal of Symbolic Logic\u00a059(3), 888\u2013899 (1994)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"5_CR24","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(3), 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR25","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Application of Linear Logic to Web Service Composition. In: Proceedings of the First International Conference on Web Services (ICWS 2003), Las Vegas, USA, June 23\u201326, 2003, pp. 3\u20139. CSREA Press (2003)"},{"key":"5_CR26","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, March 21\u201324 (2001)"}],"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-540-30200-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T09:15:22Z","timestamp":1558862122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30200-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240105","9783540302001"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30200-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}