{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:36:07Z","timestamp":1725467767425},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647201"},{"type":"electronic","value":"9783540691020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053951","type":"book-chapter","created":{"date-parts":[[2006,7,6]],"date-time":"2006-07-06T14:55:55Z","timestamp":1152197755000},"page":"156-170","source":"Crossref","is-referenced-by-count":0,"title":["Agent metaphors for analysing telematic services"],"prefix":"10.1007","author":[{"given":"Guy","family":"Davies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Love","family":"Ekenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1145\/42267.42271","volume":"35","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S. & Vianu, V. \u201cEquivalence and Optimization of Relational Transactions\u201d, Journal of ACM, 35(1), pp. 130\u2013145, 1988.","journal-title":"Journal of ACM"},{"key":"12_CR2","unstructured":"Aho, A. V. & Ullman, J. D. The Theory of Parsing, Translation, and Compiling, Prentice-Hall 1972."},{"issue":"no.4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"Batini, C., Lenzerini, M. & Navathe, S. B. \u201cA Comparative Analysis of Methodologies for Database Schema Integration\u201d, ACM Computing Surveys, vol. 18, no. 4, pp. 323\u2013364, 1986.","journal-title":"ACM Computing Surveys"},{"key":"12_CR4","volume-title":"SDL with Applications from Protocol Specification","author":"F. Beiina","year":"1991","unstructured":"Beiina, F., Hogrefe, D. & Amardeo, S. SDL with Applications from Protocol Specification, Carl Hanser Verlag and Prentice Hall International (UK), 1991."},{"key":"12_CR5","volume-title":"A Formal View Integration Method","author":"J. Biskup","year":"1986","unstructured":"Biskup, J. & Convent, B. \u201cA Formal View Integration Method\u201d, in International Conference on the Management of Data, Washington, ACM, 1986."},{"key":"12_CR6","unstructured":"Boman, M., Bubenko, J., Johannesson, P. Conceptual Modelling. Prentice Hall. 1997"},{"key":"12_CR7","unstructured":"CCITT Recommendation Z.100: Specification and Description Language SDL (Blue Book, Volume X.1-X.5, 1988, ITU General Secretariat-Sales Section, Places des Nations, CH-1211 Geneva 20)."},{"issue":"no.6","key":"12_CR8","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1109\/TSE.1984.5010292","volume":"SE-10","author":"U. Dayal","year":"1984","unstructured":"Dayal, U. & Hwang, H.-Y. \u201cView Definition and Generalisation for Database Integration in a Multidatabase System\u201d, IEEE Transactions on Software Engineering, vol. SE-10, no. 6, pp. 628\u2013644, 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"M. Danielson and Ekenberg L., \u201cA Framework for Analysing Decisions under Risk,\u201d to appear in European Journal of Operations Research, 1998.","DOI":"10.1016\/S0377-2217(97)00022-2"},{"key":"12_CR10","volume-title":"technical report","author":"G. R. Davies","year":"1996","unstructured":"Davies, G, R. \u201cA Pilot Study of a Translation from SDL-88 to a Language for Conceptual Modelling\u201d, technical report, Telia Research AB. Stockholm 1996."},{"key":"12_CR11","volume-title":"The Decision Problem: Solvable Classes of Quantification Formulas","author":"B. Dreben","year":"1979","unstructured":"Dreben, B. & Goldfarb, W. D. \u201cThe Decision Problem: Solvable Classes of Quantification Formulas\u201d, Reading, Mass, Addison-Wesley, 1979."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Ekenberg L. and Johannesson, P. \u201cA Formal Basis for Dynamic Schema Integration,\u201d Proceedings of 15th International Conference on Conceptual Modelling ER'96, pp.211\u2013226, LNCS, 1996.","DOI":"10.1007\/BFb0019925"},{"issue":"Nos.2&3","key":"12_CR13","first-page":"315","volume":"5","author":"L. Ekenberg","year":"1996","unstructured":"Ekenberg L., M. Danielson, and M. Boman, \u201cFrom Local Assessments to Global Rationality,\u201d International Journal of Intelligent and Co-operative Information Systems, vol. 5, Nos. 2 & 3, pp.315\u2013331, 1996.","journal-title":"International Journal of Intelligent and Co-operative Information Systems"},{"key":"12_CR14","unstructured":"SDeLphi: Detection of service interference through the use of formal methods, Ed. Ekenberg, L., technical report NP-K-LE-OO5, Telia Research AB, Logikkonsult NP AB, 1996."},{"key":"12_CR15","unstructured":"SDeLphi: Detection of service interference through the use of formal methods, Ed. Ekenberg, L., technical report NP-K-LE-OO5, Telia Research AB, Logikkonsult NP AB, 1996."},{"issue":"No.1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-9236(96)00072-3","volume":"20","author":"L. Ekenberg","year":"1997","unstructured":"Ekenberg L., M. Danielson, and M. Boman, \u201cImposing Security Constraints on Agent-Based Decision Support,\u201d Decision Support Systems International Journal, vol.20, No.1, pp.3\u201315, 1997.","journal-title":"Decision Support Systems International Journal"},{"key":"12_CR17","unstructured":"Ekenberg L., \u201cGoal-Conflicts between Decision Making Agents,\u201d to appear in Journal of Logic and Computation, 1998."},{"key":"12_CR18","unstructured":"Ekenberg L. and Johannesson, P. \u201cDetecting Temporal Agent Conflicts\u201d submitted"},{"key":"12_CR19","first-page":"115","volume":"No. 10","author":"R. Heinrich","year":"1990","unstructured":"Heinrich, R., Pospiech, F. \u201cControl Flow Analysis \u2014 A New Approach for Avoiding the State Space Explosion Problem\u201d, Journal: Informatik, Informationen Reporte No. 10, pp 115\u2013123, 1990.","journal-title":"Journal: Informatik, Informationen Reporte"},{"issue":"No2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0140-3664(92)90132-X","volume":"15","author":"G.J. Holzmann","year":"1992","unstructured":"Holzmann, G.J. \u201cPractical Methods for the Formal Validation of SDL Specifications\u201d, Computer Communications., Vol. 15 No 2, pp. 129\u2013134, 1992.","journal-title":"Computer Communications."},{"key":"12_CR21","volume-title":"A Logic Based Approach to Schema Integration","author":"P. Johannesson","year":"1991","unstructured":"Johannesson, P. \u201cA Logic Based Approach to Schema Integration\u201d, in 10th International Conference on Entity-Relationship Approach, Ed. T. Teorey, San Francisco, North-Holland, 1991."},{"key":"12_CR22","volume-title":"A Logical Basis for Schema Integration","author":"P. Johannesson","year":"1993","unstructured":"Johannesson, P. \u201cA Logical Basis for Schema Integration\u201d, in Third International Workshop on Research Issues in Data Engineering \u2014 Interoperability in Multidatabase Systems, Ed. H. Schek, Vienna, IEEE Press, 1993."},{"issue":"4","key":"12_CR23","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1080\/09528139108915294","volume":"3","author":"S. Kraus","year":"1991","unstructured":"Kraus, S., Ephrati, E., Lehmann, D. \u201cNegotiation in a non-cooperative environment. Journal of Experimental and Theoretical Artificial Intelligence, 3(4):255\u2013282, 1991","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"no.4","key":"12_CR24","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.16605","volume":"15","author":"J. A. Larson","year":"1989","unstructured":"Larson, J. A., Navathe, S. & ElMasri., R. \u201cA Theory of Attribute Equivalence in Databases with Applications to Schema Integration\u201d, IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 449\u2013463, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR25","unstructured":"Kuwabara K., Lesser, V.R, \u201cExtended Protocol for Multistage Negotiation\u201d Proceedings of the Ninth Workshop on Distributed Artificial Intelligence, pp 129\u2013161, Rosario, Washington, 1989."},{"key":"12_CR26","unstructured":"St\u00e5lmarck, G., Wideb\u00e4ck, F. \u201cDefinition av Delphi\u201d Logikkonsult NP AB, 1991"},{"key":"12_CR27","unstructured":"Rao, A. S, Georgeff M. P, \u201cBDI Agents: From Theory to Practice\u201d Proceedings: First International Conference on Multi-Agent Systems, pp. 313\u2013319, 1995."},{"key":"12_CR28","unstructured":"Rosenschein, J.S, Zlotkin, G, \u201cRules of Encounter\u201d, The MIT Press, 1994"},{"key":"12_CR29","unstructured":"Moses, Y, Tennenholtz, M. Artificial social systems part1: Basic principles. Technical Report CS90-12, Weizmann Institute, 1990."},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y. \u201cAgent-Oriented Programming\u201d, Artificial Intelligence, vol. 60, pp. 51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"12_CR31","unstructured":"Shoham, Y, Tennenholtz, M. On social laws for artificial agent societies: Off-line design. Artificial Intelligence, 1993."},{"key":"12_CR32","unstructured":"St\u00e5lmarck, G., Ekenberg, L., Berg, S., Olsson, I. & Nordberg, F. Pilot study of formal analysis of service interaction, validation and verification, Telia Research AB, 1996."},{"key":"12_CR33","unstructured":"Sycara, K.P. \u201cResolving Goal Conflicts via Negotiations\u201d Proceedings of the Seventh National conference on artificial Intelligence, pp 245\u2013250, St. Paul Minnesota, 1988."},{"key":"12_CR34","unstructured":"Wideb\u00e4ck, F. \u201cThe Graphical Notation of Delphi\u201d, Logikkonsult NP AB, 1992."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents for Telecommunication Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T21:22:07Z","timestamp":1555708927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647201","9783540691020"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0053951","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}