{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:40:59Z","timestamp":1649184059424},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1007\/bf02948746","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T09:45:43Z","timestamp":1221212743000},"page":"422-428","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about concurrent actions in multi-agent systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Xiaocong","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dianxiang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianmin","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02948746_CR1","first-page":"341","volume-title":"Intelligent Agents III \u2014Proceedings of the Third International Workshop on Agent Theories","author":"M Wooldridge","year":"1997","unstructured":"Wooldridge M. A knowledge-theoretic semantics for concurrent METATEM. InIntelligent Agents III \u2014Proceedings of the Third International Workshop on Agent Theories, Muller J P, Wooldridge M J, Jennings N R (eds.), Springer-Verlag, Heidelberg, 1997, pp. 341\u2013356."},{"issue":"2","key":"BF02948746_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/201019.201021","volume":"42","author":"F Lin","year":"1995","unstructured":"Lin F, Shoham Y. Provably correct theories of action.Journal of ACM, March 1995, 42(2): 293\u2013320.","journal-title":"Journal of ACM"},{"key":"BF02948746_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R A Kowalski","year":"1986","unstructured":"Kowalski R A, Sergot M J. A logic-based calculus of events.New Gen. Comput., 1986, 4: 67\u201395.","journal-title":"New Gen. Comput."},{"key":"BF02948746_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"S Murray","year":"1995","unstructured":"Murray S. A circumscriptive calculus of events.Artificial Intelligence, 1995, 77: 249\u2013284.","journal-title":"Artificial Intelligence"},{"key":"BF02948746_CR5","unstructured":"Cohen P R, Cheyer A, Wang M, Baeg S C. An open agent architecture. InAAAI Spring Symposium, March 1994, pp. 1\u20138."},{"issue":"6","key":"BF02948746_CR6","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/64.546581","volume":"11","author":"Katia Sycara","year":"1996","unstructured":"Katia Sycara, Keith Decker, Anandeep Pannu, Mike Williamson, Dajun Zeng. Distributed intelligent agents.IEEE Expert, December 1996, 11(6): 36\u201346.","journal-title":"IEEE Expert"},{"key":"BF02948746_CR7","first-page":"49","volume-title":"Intelligent Agents III\u2014Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193","author":"L Michael","year":"1997","unstructured":"Michael L, Nathan G, Mark I. From agent theory to agent construction: A case study. InIntelligent Agents III\u2014Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, Muller J P, Wooldridge M J, Jennings N R (eds.), pp. 49\u201363. Springer-Verlag, Heidelberg, 1997."},{"key":"BF02948746_CR8","doi-asserted-by":"crossref","unstructured":"Wooldridge M, Jennings N R. Intelligent agents: Theory and practice.Knowledge Engineering Review, 1995, 10(2).","DOI":"10.1017\/S0269888900008122"},{"issue":"1","key":"BF02948746_CR9","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1049\/ir:19960101","volume":"42","author":"N R Jennings","year":"1996","unstructured":"Jennings N R, Wooldridge M. Software Agents.IEE, Review, January 1996, 42(1): 17\u201321.","journal-title":"IEE, Review"},{"issue":"1","key":"BF02948746_CR10","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M L Ginsberg","year":"1988","unstructured":"Ginsberg M L, Smith D E. Reasoning action I: A possible worlds approach.Artificial Intelligence, 1988, 35(1): 165\u2013195.","journal-title":"Artificial Intelligence"},{"key":"BF02948746_CR11","first-page":"129","volume-title":"Intelligent Agents\u2014ECAI-94 Workshop on Agent Theories, Architectures, and Languages (ATAL-94), LNAI 890","author":"M Soutchanski","year":"1995","unstructured":"Soutchanski M, Ternovskaia E. Logical formalization of concurrent actions for multi-agent systems. InIntelligent Agents\u2014ECAI-94 Workshop on Agent Theories, Architectures, and Languages (ATAL-94), LNAI 890, Wooldridge M J, Jennings N R (eds.), pp. 129\u2013144, Spring-Verlag, Heidelberg, 1995."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948746\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:03:09Z","timestamp":1558566189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["BF02948746"],"URL":"https:\/\/doi.org\/10.1007\/bf02948746","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}