{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:43Z","timestamp":1725486223349},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433705"},{"type":"electronic","value":"9783540459415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45941-3_4","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:54:58Z","timestamp":1181166898000},"page":"37-46","source":"Crossref","is-referenced-by-count":0,"title":["A Concept of Agent Language in Agentspace"],"prefix":"10.1007","author":[{"given":"Stanislaw","family":"Ambroszkiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dariusz","family":"Mikulowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek","family":"Rozwadowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"S. Ambroszkiewicz and T. Nowak. Agentspace as a Middleware for Service Integration. In Proc. ESAW-2001. To be published by Springer LNAI 2203, December 2001.","DOI":"10.1007\/3-540-45584-1_10"},{"key":"4_CR2","unstructured":"S. Ambroszkiewicz. Towards Software Agent Interoperability. In Proc. 10th Conf. on Information Modelling and Knowledge Bases, Saariselka, Finland, May 8-11, 2000. Extended version in Kangassalo H., Jaakkola H., (Eds.) Information Modelling and Knowledge Bases XII, IOS Press, Amsterdam, 2001."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Towards Formal Specification and Verification in Cyberspace","author":"S. Ambroszkiewicz","year":"2000","unstructured":"S. Ambroszkiewicz, W. Penczek, and T. Nowak. Towards Formal Specification and Verification in Cyberspace. Presented at Goddard Workshop on Formal Approaches to Agent-Based Systems, 5-7 April 2000, NASA Goddard Space Flight Center, Greenbelt, Maryland, USA. To appear in Springer LNCS."},{"key":"4_CR4","unstructured":"ATLAS-Agent Transaction Language for Advertising Services http:\/\/www.cs.cmu.edu\/ softagents\/atlas\/"},{"key":"4_CR5","unstructured":"T. Berners-Lee- http:\/\/www.w3.org\/DesignIssues\/Webize.html-and-\/DesignIssues\/Logic.html"},{"key":"4_CR6","unstructured":"M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987."},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K. Lodaya","year":"1992","unstructured":"K. Lodaya, R. Ramanujam, P.S. Thiagarajan, \u201cTemporal logic for communicating sequential agents: I\u201d, Int. J. Found. Comp. Sci., vol. 3(2), 1992, pp. 117\u2013159.","journal-title":"Int. J. Found. Comp. Sci."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J.P. Mueller. The Right Agent (Architecture) to Do the Right Thing. In J.P. Mueller, M.P. Singh, and A.S. Rao (Eds.) Inteligent Agents V, Proc. of ATAL\u201998, Springer LNAI 1555, pp. 211\u2013225, 1999.","DOI":"10.1007\/3-540-49057-4_14"},{"key":"4_CR9","unstructured":"OIL, Ontology Interchange Language, http:\/\/www.ontoknowledge.org\/oil\/"},{"key":"4_CR10","unstructured":"A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI-architecture. In Proc. KR\u201991, pp. 473\u2013484, Cambridge, Mass., 1991, Morgan Kaufmann."},{"key":"4_CR11","unstructured":"Sycara, K.; Widoff, S.; Klusch, M.; Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. Journal on Autonomous Agents and Multi-Agent Systems, Kluwer Academic, March, 2001."},{"key":"4_CR12","unstructured":"S. Willmott, M. Calisti, B. Faltings, S. Macho-Gonzalez, O. Belakhdar, M. Torrens. \u201cCCL: Expressions of Choice in Agent Communication\u201d The Fourth International Conference on MultiAgent Systems (ICMAS-2000)."},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"An Introduction to Event Structures","author":"G. Winskel","year":"1989","unstructured":"Winskel, G., An Introduction to Event Structures, LNCS 354, Springer-Verlag, pp. 364\u2013397, 1989."},{"key":"4_CR14","unstructured":"M. Wooldridge. IntelligentAgents. In G. Weiss (Ed.), Multiagent Systems:A modern approach to Distributed Artificial Intelligence, The MIT Press. pp. 27\u201378, 1999."}],"container-title":["Lecture Notes in Computer Science","From Theory to Practice in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45941-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:42:30Z","timestamp":1556466150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45941-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433705","9783540459415"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45941-3_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}