{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:50:27Z","timestamp":1725853827071},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335087"},{"type":"electronic","value":"9783319335094"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33509-4_17","type":"book-chapter","created":{"date-parts":[[2016,4,16]],"date-time":"2016-04-16T15:59:57Z","timestamp":1460822397000},"page":"203-218","source":"Crossref","is-referenced-by-count":0,"title":["A Dialectical Approach to Enable Decision Making in Online Trading"],"prefix":"10.1007","author":[{"given":"Wei","family":"Bai","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Tadjouddine","sequence":"additional","affiliation":[]},{"given":"Terry","family":"Payne","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,17]]},"reference":[{"key":"17_CR1","unstructured":"Bai, W., Tadjouddine, E.M.: Automated program translation in certifying online auctions. In: ETAPS\/VpPT 2015, 11\u201318 April, London, UK (2015)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bai, W., Tadjouddine, E.M., Guo, Y.: Enabling automatic certification of online auctions. arXiv preprint \n                      arXiv:1404.0854\n                      \n                     (2014)","DOI":"10.4204\/EPTCS.147.9"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-319-07602-7_4","volume-title":"Formal Aspects of Component Software","author":"W Bai","year":"2014","unstructured":"Bai, W., Tadjouddine, E.M., Payne, T.R., Guan, S.U.: A proof-carrying code approach to certificate auction mechanisms. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 23\u201340. Springer, Heidelberg (2014)"},{"key":"17_CR4","series-title":"Wiley series in agent technology","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-agent Systems with JADE","author":"F Bellifemine","year":"2007","unstructured":"Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. Wiley series in agent technology. Wiley, Chichester (2007)"},{"issue":"5","key":"17_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O., et al.: The semantic web. Sci. Am. 284(5), 28\u201337 (2001)","journal-title":"Sci. Am."},{"key":"17_CR6","unstructured":"Dowek, G., Felty, A., Herbelin, H., Huet, G., Werner, B., Paulin-Mohring, C., et al.: The coq proof assistant user\u2019s guide: version 5.6 (1991)"},{"key":"17_CR7","unstructured":"FIPA ACL: FIPA ACL message structure specification. Foundation for Intelligent Physical Agents (2002). \n                      http:\/\/www.fipa.org\/specs\/fipa00061\/SC00061G.html\n                      \n                    . Accessed 30 June 2004"},{"key":"17_CR8","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M., et al.: SWRL: a semantic web rule language combining OWL and RuleML. W3C Member Submission 21, 79 (2004)"},{"key":"17_CR9","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., et al.: OWL-S: semantic markup for web services. W3C Member Submission 22, 2007\u201304 (2004)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-32258-0_14","volume-title":"Agent Communication","author":"P McBurney","year":"2005","unstructured":"McBurney, P., Parsons, S.: Locutions for argumentation in agent interaction protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 209\u2013225. Springer, Heidelberg (2005)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-0-387-98197-0_13","volume-title":"Argumentation in Artificial Intelligence","author":"P McBurney","year":"2009","unstructured":"McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 261\u2013280. Springer, Heidelberg (2009)"},{"key":"17_CR12","unstructured":"McGuinness, D.L., Van Harmelen, F., et al.: OWL web ontology language overview. W3C Recommendation 10(10), 2004\u201303 (2004)"},{"key":"17_CR13","volume-title":"Proof and System-Reliability","author":"GC Necula","year":"2002","unstructured":"Necula, G.C.: Proof-carrying code. Design and implementation. In: Schwichtenberg, H., Steinbr\u00fcggen, R. (eds.) Proof and System-Reliability. Springer, Heidelberg (2002)"},{"key":"17_CR14","unstructured":"Payne, T.R., Tamma, V.: Negotiating over ontological correspondences with asymmetric and incomplete knowledge. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, pp. 517\u2013524. International Foundation for Autonomous Agents and Multiagent Systems (2014)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-540-85485-2_18","volume-title":"Grid Economics and Business Models","author":"F Toni","year":"2008","unstructured":"Toni, F., Grammatikou, M., Kafetzoglou, S., Lymberopoulos, L., Papavassileiou, S., Gaertner, D., Morge, M., Bromuri, S., McGinnis, J., Stathis, K., Curcin, V., Ghanem, M., Guo, L.: The ArguGRID platform: an overview. In: Altmann, J., Neumann, D., Fahringer, T. (eds.) GECON 2008. LNCS, vol. 5206, pp. 217\u2013225. Springer, Heidelberg (2008)"},{"issue":"6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIS.2007.100","volume":"22","author":"P Torroni","year":"2007","unstructured":"Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the semantic web. IEEE Intell. Syst. 22(6), 66\u201374 (2007)","journal-title":"IEEE Intell. Syst."},{"key":"17_CR17","volume-title":"Commitment in Dialogue. Basic Concepts of Interpersonal Reasoning","author":"DN Walton","year":"1995","unstructured":"Walton, D.N., Krabbe, E.C.: Commitment in Dialogue. Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33509-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:28:57Z","timestamp":1559435337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33509-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335087","9783319335094"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33509-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}