{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:08:47Z","timestamp":1725512927401},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1109\/cts.2008.4543922","type":"proceedings-article","created":{"date-parts":[[2008,6,16]],"date-time":"2008-06-16T15:10:37Z","timestamp":1213629037000},"page":"127-134","source":"Crossref","is-referenced-by-count":0,"title":["Formal specification of agent-object oriented programs"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Pagliarecci","sequence":"first","affiliation":[]},{"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[]},{"given":"Mark-Oliver","family":"Stehr","sequence":"additional","affiliation":[]},{"given":"Carolyn L.","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82538-1"},{"key":"14","article-title":"a uml profile for agent-oriented modeling","author":"wagner","year":"2002","journal-title":"Third International Workshop on AgentOriented Software Engineering"},{"key":"11","article-title":"modeling rational agents within a bdi architecture","author":"rao","year":"0","journal-title":"KRR'91"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00206-6"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.401"},{"journal-title":"Agent UML Web Site","year":"0","key":"1"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0464-9_1"},{"key":"6","article-title":"jack - summary of an agent infrastructure","author":"howden","year":"2001","journal-title":"5th International Conference on Autonomous Agents"},{"journal-title":"Reactive Reasoning and Planning","year":"1987","author":"georgeff","key":"5"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CTS.2006.44"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"}],"event":{"name":"2008 International Symposium on Collaborative Technologies and Systems (CTS)","start":{"date-parts":[[2008,5,19]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2008,5,23]]}},"container-title":["2008 International Symposium on Collaborative Technologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4534816\/4543895\/04543922.pdf?arnumber=4543922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T12:19:25Z","timestamp":1489666765000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4543922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cts.2008.4543922","relation":{},"subject":[],"published":{"date-parts":[[2008,5]]}}}