{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:41:11Z","timestamp":1725608471067},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223587"},{"type":"electronic","value":"9783642223594"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22359-4_18","type":"book-chapter","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T08:07:28Z","timestamp":1315987648000},"page":"259-274","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Semantics for Brahms"],"prefix":"10.1007","author":[{"given":"Richard","family":"Stocker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"Sierhuis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 69\u201378 (2008)","DOI":"10.1109\/ASE.2008.17"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/1514095.1514169","volume-title":"Proc. 4th ACM\/IEEE International Conference on Human Robot Interaction (HRI)","author":"R.H. Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Sierhuis, M.: Formal Verification of Human-Robot Teamwork. In: Proc. 4th ACM\/IEEE International Conference on Human Robot Interaction (HRI), pp. 267\u2013268. ACM Press, New York (2009)"},{"key":"18_CR3","first-page":"7","volume-title":"Proc. 16th Florida Artificial Intelligence Research Society (FLAIRS)","author":"W. Clancey","year":"2003","unstructured":"Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System. In: Proc. 16th Florida Artificial Intelligence Research Society (FLAIRS), pp. 7\u201311. AAAI Press, Menlo Park (2003)"},{"key":"18_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-87654-0_5","volume-title":"Engineering Societies in the Agents World VIII","author":"W.J. Clancey","year":"2008","unstructured":"Clancey, W.J., Sierhuis, M., Seah, C., Buckley, C., Reynolds, F., Hall, T., Scott, M.: Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol.\u00a04995, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"issue":"3","key":"18_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MIS.2010.88","volume":"25","author":"L.A. Dennis","year":"2010","unstructured":"Dennis, L.A., Fisher, M., Lisitsa, A., Lincoln, N., Veres, S.M.: Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems\u00a025(3), 92\u201397 (2010)","journal-title":"IEEE Intelligent Systems"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: Software model checking with SPIN. Advances in Computers (2005)","DOI":"10.1016\/S0065-2458(05)65002-4"},{"key":"18_CR7","unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: From Theory to Practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312\u2013319 (1995)"},{"key":"18_CR8","volume-title":"Proc. Conference on Knowledge Representation & Reasoning (KR)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Agents within a BDI-Architecture. In: Proc. Conference on Knowledge Representation & Reasoning (KR). Morgan Kaufmann, San Francisco (1991)"},{"key":"18_CR9","unstructured":"Sierhuis, M.: Modeling and Simulating Work Practice. BRAHMS: a multiagent modeling and simulation language for work system analysis and design. PhD thesis, Social Science and Informatics (SWI), University of Amsterdam, The Netherlands (2001)"},{"key":"18_CR10","unstructured":"Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), http:\/\/ic.arc.nasa.gov\/ic\/publications"},{"key":"18_CR11","unstructured":"Sierhuis, M.: Brahms Language Specification, http:\/\/www.agentisolutions.com\/documentation\/language\/LanguageSpecificationV3.0F.pdf"},{"key":"18_CR12","unstructured":"Sierhuis, M., Bradshaw, J.M., Acquisti, A., Hoof, R.V., Jeffers, R., Uszok, A.: Human-Agent Teamwork and Adjustable Autonomy in Practice. In: Proc. 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space, i-SAIRAS (2003)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Sierhuis, M., Clancey, W.J.: Modeling and Simulating Work Practice: A Human-Centered Method for Work Systems Design. IEEE Intelligent Systems\u00a017(5) (2002)","DOI":"10.1109\/MIS.2002.1039830"},{"key":"18_CR14","unstructured":"Sierhuis, M., Clancey, W.J., van Hoof, R.J., Seah, C.H., Scott, M.S., Nado, R.A., Blumenberg, S.F., Shafto, M.G., Anderson, B.L., Bruins, A.C., Buckley, C.B., Diegelman, T.E., Hall, T.A., Hood, D., Reynolds, F.F., Toschlog, J.R., Tucker, T.: NASA\u2019s OCA Mirroring System: An application of multiagent systems in Mission Control (2009)"},{"key":"18_CR15","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department. Aarhus University, Denmark (1981)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Stocker, R., Sierhuis, M., Dennis, L., Dixon, C., Fisher, M.: A Formal Semantics for the Brahms Language (2011), http:\/\/www.csc.liv.ac.uk\/~rss\/publications","DOI":"10.1007\/978-3-642-22359-4_18"},{"key":"18_CR17","unstructured":"van Hoof, R.: Brahms website (2000), http:\/\/www.agentisolutions.com"},{"key":"18_CR18","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22359-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T13:45:07Z","timestamp":1560606307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22359-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223587","9783642223594"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22359-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}