{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:17:36Z","timestamp":1730247456805,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/icis.2015.7166636","type":"proceedings-article","created":{"date-parts":[[2015,7,27]],"date-time":"2015-07-27T17:13:41Z","timestamp":1438017221000},"page":"455-460","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification and reasoning for situated multi-agent system"],"prefix":"10.1109","author":[{"given":"Zhuang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2012.19"},{"key":"ref11","first-page":"31","volume":"6","author":"weyns","year":"2004","journal-title":"A Formal Model for Situated Multi-Agent Systems Fundamenta Informaticae"},{"key":"ref12","first-page":"109","volume":"189","author":"burkhard","year":"1997","journal-title":"Fairness and control in multi-agent systems Theoretical Computer Science"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567082"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.10.009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2010.36"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2012.6297952"},{"key":"ref17","first-page":"341","article-title":"Reasoning about adaptivity of agents and multi-agent systems","author":"smith","year":"2012","journal-title":"IEEE International Conference on Engineering of Complex Computer Systems (lCECCS 2012)"},{"key":"ref18","first-page":"245","volume":"6","author":"attie","year":"1993","journal-title":"Fairness and hyperfairness in multi-party interactions Distributed Computing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.39"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2008.017317"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00867-2_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11550648_20"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48023"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2004.1342953"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015020"}],"event":{"name":"2015 IEEE\/ACIS 14th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2015,6,28]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2015,7,1]]}},"container-title":["2015 IEEE\/ACIS 14th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7159923\/7166553\/07166636.pdf?arnumber=7166636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T15:57:56Z","timestamp":1490371076000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7166636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icis.2015.7166636","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}