{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:51:28Z","timestamp":1725522688859},"publisher-location":"Berlin, Heidelberg","reference-count":64,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897835"},{"type":"electronic","value":"9783540897842"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89784-2_4","type":"book-chapter","created":{"date-parts":[[2008,12,22]],"date-time":"2008-12-22T09:56:04Z","timestamp":1229939764000},"page":"81-129","source":"Crossref","is-referenced-by-count":5,"title":["Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing"],"prefix":"10.1007","author":[{"given":"David","family":"Robertson","sequence":"first","affiliation":[]},{"given":"Adam","family":"Barker","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Besana","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]},{"given":"Yun Heh","family":"Chen-Burger","sequence":"additional","affiliation":[]},{"given":"David","family":"Dupplaw","sequence":"additional","affiliation":[]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[]},{"given":"Fadzil","family":"Hassan","sequence":"additional","affiliation":[]},{"given":"Spyros","family":"Kotoulas","sequence":"additional","affiliation":[]},{"given":"David","family":"Lambert","sequence":"additional","affiliation":[]},{"given":"Guo","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jarred","family":"McGinnis","sequence":"additional","affiliation":[]},{"given":"Fiona","family":"McNeill","sequence":"additional","affiliation":[]},{"given":"Nardine","family":"Osman","sequence":"additional","affiliation":[]},{"given":"Adrian Perreau","family":"de Pinninck","sequence":"additional","affiliation":[]},{"given":"Ronny","family":"Siebes","sequence":"additional","affiliation":[]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Walton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Agusti, J., Puigsegur, J., Robertson, D.: A visual syntax for logic and logic programming. Journal of Visual Languages and Computing\u00a09 (1998)","DOI":"10.1006\/jvlc.1998.0090"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11423287_11","volume-title":"Scientific Applications of Grid Computing","author":"I. Altintas","year":"2005","unstructured":"Altintas, I., Birnbaum, A., Baldridge, K., Sudholt, W., Miller, M., Amoreira, C., Potier, Y., Ludaescher, B.: A framework for the design and reuse of grid workflows. In: Herrero, P., Perez, M., Robles, V. (eds.) SAG 2004. LNCS, vol.\u00a03458, pp. 120\u2013133. Springer, Heidelberg (2005)"},{"key":"4_CR3","unstructured":"Andrews, A., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services, version 1.1 (2003)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems, Bologna, Italy, July 15\u201319, 2002, pp. 1053\u20131061. Association for Computing Machinery (2002)","DOI":"10.1145\/545056.545070"},{"key":"4_CR5","unstructured":"Barker, A., Mann, R.: Integration of multiagent systems to AstroGrid. In: Proceedings of Astronomical Data Analysis Software and Systems XV, European Space Astronomy Centre, Spain (2005)"},{"issue":"7","key":"4_CR6","doi-asserted-by":"publisher","first-page":"369","DOI":"10.2307\/2026481","volume":"78","author":"J. Barwise","year":"1981","unstructured":"Barwise, J.: Scenes and other situations. Journal of Philosophy\u00a078(7), 369\u2013397 (1981)","journal-title":"Journal of Philosophy"},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"#cr-split#-4_CR8.1","unstructured":"Besana, P., Robertson, D., Rovatsos, M.: Exploiting interaction contexts in p2p ontology mapping. In: 2nd International Workshop on Peer to Peer Knowledge Management, San Diego, California, USA. CEUR Workshop Proceedings, pp. 1613\u20131673 (July 2005);"},{"key":"#cr-split#-4_CR8.2","unstructured":"ISSN 1613-0073, online CEUR-WS.org\/Vol-139\/2.pdf"},{"volume-title":"Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems, Melbourne, Australia","year":"2003","author":"R.H. Bordini","key":"4_CR9","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems, Melbourne, Australia. ACM Press, New York (2003)"},{"key":"4_CR10","first-page":"896","volume-title":"Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems, pp. 896\u2013903. ACM Press, New York (2004)"},{"key":"4_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-25932-9_4","volume-title":"Declarative Agent Languages and Technologies","author":"K.L. Clark","year":"2004","unstructured":"Clark, K.L., McCabe, F.G.: Go! for multi-threaded deliberative agents. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 54\u201375. Springer, Heidelberg (2004)"},{"volume-title":"Model Checking","year":"1999","author":"E.M. Clarke","key":"4_CR12","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"4_CR13","unstructured":"de Pinninck, A.P., Dupplaw, D., Kotoulas, S., Siebes, R.: The openknowledge kernel. In: Proceedings of the IX CESSE conference, Vienna, Austria (2007)"},{"key":"4_CR14","unstructured":"de Pinninck, A.P., Dupplaw, D., Kotoulas, S., Siebes, R., Roberson, D., van Harmelen, F.: The architecture of the open-knowledge system. Technical report, Open-knowledge consortium (2006)"},{"key":"4_CR15","unstructured":"Decker, K., Sycara, K., Williamson, M.: Middle-agents for the internet. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence, Nagoya, Japan (1997)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems, pp. 1045\u20131052 (2002)","DOI":"10.1145\/545056.545069"},{"key":"4_CR17","unstructured":"Fensel, D., Benjamins, R., Motta, E., Wielinga, R.: A framework for knowledge system reuse. In: Proceedings of the International Joint Conference on Artificial Intelligence, Stockholm, Sweden (1999)"},{"key":"4_CR18","first-page":"113","volume":"1","author":"D. Fensel","year":"2002","unstructured":"Fensel, D., Bussler, C.: The web service modellign framework. Electronic commerce: Research and applications\u00a01, 113\u2013137 (2002)","journal-title":"Electronic commerce: Research and applications"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Shvaiko, P., Yatskevich, M.: S-match: an algorithm and an implementation of semantic match. In: Proceedings of the European Semantic Web Symposium, pp. 61\u201375 (2004)","DOI":"10.1007\/978-3-540-25956-5_5"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems and interaction. Information and Computation\u00a0194(2) (2004)","DOI":"10.1016\/j.ic.2004.07.002"},{"key":"4_CR21","unstructured":"Grosz, B., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence\u00a02 (1986)"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpen","year":"1990","unstructured":"Halpen, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"4_CR23","unstructured":"Hassan, F., Robertson, D.: Constraint relaxation to reduce brittleness of distributed agent ppotocols. In: Proceedings of the ECAI Workshop on Coordination in Emergent Agent Societies, Valencia, Spain (2004)"},{"key":"4_CR24","unstructured":"Hassan, F., Robertson, D., Walton, C.: Addressing constraint failures in an agent interaction protocol. In: Proceedings of the 8th Pacific Rim International Workshop on Multi-Agent Systems, Kuala Lumpur, Malasia (2005)"},{"volume-title":"The SPIN Model Checker: Primer and Reference Manual","year":"2003","author":"G.J. Holzmann","key":"4_CR25","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley, Reading (2003)"},{"key":"4_CR26","unstructured":"Jackson, D., Wing, J.: Lightweight formal methods. IEEE Computer (April 1996)"},{"key":"4_CR27","unstructured":"Kagal, L., Finin, T., Joshi, A.: A policy language for pervasive systems. In: Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (2003)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. Knowledge Engineering Review (2003)","DOI":"10.1017\/S0269888903000651"},{"key":"4_CR29","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web services choreography description language version 1.0, 2004. W3C Working Draft (October 12, 2004)"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-662-04401-8_8","volume-title":"Coordination of Internet agents: models, technologies, and applications","author":"M. Klusch","year":"2001","unstructured":"Klusch, M., Sycara, K.: Brokering and matchmaking for coordination of agent societies: a survey. In: Coordination of Internet agents: models, technologies, and applications, pp. 197\u2013224. Springer, Heidelberg (2001)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Lambert, D., Robertson, D.: Matchmaking and brokering multi-party interactions using historical performance data. In: Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (2005)","DOI":"10.1145\/1082473.1082566"},{"key":"4_CR32","unstructured":"Li, G., Chen-Burger, J., Robertson, D.: Mapping a business process model to a semantic web services model. In: Proceedings of the IEEE International Conference on Web Services, San Diego (2004)"},{"key":"4_CR33","unstructured":"Li, G., Robertson, D., Chen-Burger, J.: A novel approach for enacting distributed business workflow on a peer-to-peer platform. In: Proceedings of the IEEE Conference on E-Business Engineering, Beijing (2005)"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Lowry, M., Philpot, A., Pressburger, T., Underwood, I.: A formal approach to domain-oriented software design environments. In: Proceedings of the 9th Knowledge-Based Software Engineering Conference, Monterey, California, pp. 48\u201357 (1994)","DOI":"10.1109\/KBSE.1994.342678"},{"key":"4_CR35","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: owl-s 1.1 (2004)"},{"key":"4_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-32258-0_8","volume-title":"Agent Communication","author":"J. McGinnis","year":"2005","unstructured":"McGinnis, J., Robertson, D.: Realising agent dialogues with distributed protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 106\u2013119. Springer, Heidelberg (2005)"},{"key":"4_CR37","unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, pp. 482\u2013493 (2002)"},{"issue":"1","key":"4_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Motta, E., Domingue, J., Cabral, L., Gaspari, M.: Irs-ii: A framework and infrastructure for semantic web services. In: Proceedings of the Second International Semantic Web Conference, Florida, USA (2003)","DOI":"10.1007\/978-3-540-39718-2_20"},{"issue":"17","key":"4_CR40","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020(17), 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"key":"4_CR41","unstructured":"Osman, N.: Addressing Constraint Failures in Distributed Dialogue Protocols. Ph.D thesis, School of Informatics, University of Edinburgh, M.Sc Thesis (2003)"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Osman, N., Robertson, D., Walton, C.: Run-time model checking of interaction and deontic models for multi-agent systems. In: Proceedings of the Third European Workshop on Multi-agent Systems, Brussels, Belgium (2005)","DOI":"10.1145\/1160633.1160674"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Importing the semantic web. In: UDDI (2002)","DOI":"10.1007\/3-540-36189-8_18"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Paolucci, M., Soudry, J., Srinivasan, N., Sycara, K.: A broker for OWL-S web services. In: Proceedings of the 2004 AAAI Spring Symposium on Semantic Web Services (2004)","DOI":"10.1007\/0-387-23344-X_4"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Paulucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Proceedings of the International Semantic Web Conference (2002)","DOI":"10.1007\/3-540-48005-6_26"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Robertson, D.: A lightweight coordination calculus for agent social norms. In: Proceedings of Declarative Agent Languages and Technologies workshop at AAMAS, New York, USA (2004)","DOI":"10.1007\/11493402_11"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: International Conference on Logic Programming, Sant-Malo, France (2004)","DOI":"10.1007\/978-3-540-27775-0_29"},{"key":"4_CR48","unstructured":"Robertson, D., Agusti, J.: Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling. Addison Wesley\/ACM Press (1999) ISBN 0201398192"},{"key":"4_CR49","series-title":"Logic Programming Series","volume-title":"Eco-Logic: Logic-Based Approaches to Ecological Modelling","author":"D. Robertson","year":"1991","unstructured":"Robertson, D., Bundy, A., Muetzelfeldt, R., Haggith, M., Uschold, M.: Eco-Logic: Logic-Based Approaches to Ecological Modelling. Logic Programming Series. MIT Press, Cambridge (1991)"},{"key":"4_CR50","unstructured":"Siebes, R., Dupplaw, D., Kotoulas, S., de Pinninck, A.P., Roberson, D., van Harmelen, F.: The functional description of the open-knowledge system. Technical report, Open-knowledge consortium (2006)"},{"key":"4_CR51","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/B978-0-934613-63-7.50039-5","volume-title":"Distributed Artificial Intelligence","author":"R.G. Smith","year":"1988","unstructured":"Smith, R.G.: The contract net protocol: high-level communication and control in a distributed problem solver. In: Distributed Artificial Intelligence, pp. 357\u2013366. Morgan Kaufmann Publishers Inc., San Francisco (1988)"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence\u00a0164(1-2) (2005)","DOI":"10.1016\/j.artint.2005.01.003"},{"key":"4_CR53","unstructured":"van Leeuwen, J., Wiedermann, J.: A computational model of interaction in embedded systems. Technical Report UU-CS-02-2001, Dept. of Computer Science, University of Utrecht (2001)"},{"key":"4_CR54","doi-asserted-by":"crossref","unstructured":"Walton, C.: Model checking agent dialogues. In: Proceedings of the 2004 Workshop on Declarative Agent Languages and Technologies, New York, USA (2004)","DOI":"10.1007\/11493402_8"},{"key":"4_CR55","unstructured":"Walton, C.: Model checking multi-agent web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)"},{"volume-title":"Proceedings of the AAAI Spring Symposium on Semantic Web Services","year":"2004","author":"C. Walton","key":"4_CR56","unstructured":"Walton, C.: Model checking multi-agent web services. In: Proceedings of the AAAI Spring Symposium on Semantic Web Services, Stanford, USA. AAAI, Menlo Park (2004)"},{"key":"4_CR57","unstructured":"Walton, C., Barker, A.: An agent-based e-science experiment builder. In: Proceedings of the 1st International Workshop on Semantic Intelligent Middleware for the Web and the Grid, Valencia, Spain (August 2004)"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Communications of the ACM\u00a040(5) (1997)","DOI":"10.1145\/253769.253801"},{"key":"4_CR59","doi-asserted-by":"crossref","unstructured":"Wong, H., Sycara, K.: A taxonomy of middle-agents for the internet. In: Proceedings of the International Conference on Multi-agent Systems (2000)","DOI":"10.1109\/ICMAS.2000.858527"},{"key":"4_CR60","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy (2002)","DOI":"10.1145\/544964.544965"},{"key":"4_CR61","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings, N.R.: The cooperative problem solving process. Journal of Logic and Computation\u00a09(4) (1999)","DOI":"10.1093\/logcom\/9.4.563"},{"key":"4_CR62","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/775152.775211","volume-title":"Proceedings of the twelfth international conference on World Wide Web","author":"L. Zeng","year":"2003","unstructured":"Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., Sheng, Q.: Quality driven web services composition. In: Proceedings of the twelfth international conference on World Wide Web, pp. 411\u2013421. ACM Press, New York (2003)"},{"key":"4_CR63","doi-asserted-by":"publisher","first-page":"1340","DOI":"10.1145\/545056.545129","volume-title":"Proceedings of the first international joint conference on Autonomous agents and multiagent systems","author":"Z. Zhang","year":"2002","unstructured":"Zhang, Z., Zhang, C.: An improvement to matchmaking algorithms for middle agents. In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 1340\u20131347. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Advances in Web Semantics I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89784-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T14:40:38Z","timestamp":1558017638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89784-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897835","9783540897842"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89784-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}