{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:58:53Z","timestamp":1743083933826,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642319143"},{"type":"electronic","value":"9783642319150"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31915-0_5","type":"book-chapter","created":{"date-parts":[[2012,7,12]],"date-time":"2012-07-12T01:25:04Z","timestamp":1342056304000},"page":"74-91","source":"Crossref","is-referenced-by-count":8,"title":["Integrating Expectation Monitoring into BDI Agents"],"prefix":"10.1007","author":[{"given":"Surangika","family":"Ranathunga","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Cranefield","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Purvis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10588-006-9544-8","volume":"12","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P., Sartor, G.: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory\u00a012, 205\u2013225 (2006)","journal-title":"Computational & Mathematical Organization Theory"},{"issue":"1-2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a0116(1-2), 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Hubner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons Ltd. (2007)","DOI":"10.1002\/9780470061848"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/11565123_26","volume-title":"Brain, Vision, and Artificial Intelligence","author":"C. Castelfranchi","year":"2005","unstructured":"Castelfranchi, C.: Mind as an anticipatory device: For a theory of expectations. In: De Gregorio, M., Di Maio, V., Frucci, M., Musio, C. (eds.) BVAI 2005. LNCS, vol.\u00a03704, pp. 258\u2013276. Springer, Heidelberg (2005)"},{"key":"5_CR6","unstructured":"Castelfranchi, C., Giardini, F., Lorini, E., Tummolini, L.: The prescriptive destiny of predictive attitudes: From expectations to norms via conventions. In: Proceedings of the 25th Annual Meeting of the Cognitive Science Society, pp. 222\u2013227 (2003)"},{"issue":"6","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1093\/logcom\/exq055","volume":"21","author":"S. Cranefield","year":"2011","unstructured":"Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. Journal of Logic and Computation\u00a021(6), 1217\u20131256 (2011)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR8","unstructured":"Cranefield, S., Winikoff, M., Vasconcelos, W.: Modelling and monitoring interdependent expectations. In: Proceeedings of the 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN), pp. 31\u201345 (2011), \n                      http:\/\/coin-aamas2011.iiia.csic.es\/COIN_PreProceedings.pdf"},{"key":"5_CR9","unstructured":"Lorini, E., Falcone, R.: Modeling expectations in cognitive agents. In: Castelfranchi, C., Balkenius, C., Butz, M., Ortony, A. (eds.) AAAI 2005 Fall Symposium: From Reactive to Anticipatory Cognitive Embodied Systems, pp. 114\u2013121. AAAI Press (2005)"},{"key":"5_CR10","unstructured":"Meneguzzi, F., Miles, S., Luck, M., Holt, C., Smith, M.: Electronic contracting in aircraft aftercare: a case study. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 63\u201370. IFAAMAS (2008)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1016\/j.engappai.2005.05.002","volume":"18","author":"M. Nickles","year":"2005","unstructured":"Nickles, M., Rovatsos, M., Weiss, G.: Expectation-oriented modeling. Engineering Applications of Artificial Intelligence\u00a018, 891\u2013918 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ranathunga, S., Cranefield, S., Purvis, M.: Interfacing a cognitive agent platform with a virtual world: a case study using Second Life. In: International Workshop on the Uses of Agents for Education, Games and Simulations (AEGS 2011), pp. 1\u201316 (2011)","DOI":"10.1007\/978-3-642-32326-3_1"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1080\/08839514.2012.629559","volume":"26","author":"S. Ranathunga","year":"2012","unstructured":"Ranathunga, S., Cranefield, S., Purvis, M.: Identifying events taking place in Second Life virtual environments. Applied Artificial Intelligence\u00a026, 137\u2013181 (2012), doi:10.1080\/08839514.2012.629559","journal-title":"Applied Artificial Intelligence"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"5_CR15","unstructured":"Wallace, I., Rovatsos, M.: Bounded practical social reasoning in the ESB framework. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 1097\u20131104. IFAAMAS (2009)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-20715-0_7","volume-title":"Declarative Agent Languages and Technologies VIII","author":"I. Wallace","year":"2011","unstructured":"Wallace, I., Rovatsos, M.: Executing specifications of social reasoning agents. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol.\u00a06619, pp. 112\u2013129. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31915-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T02:41:37Z","timestamp":1676774497000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31915-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319143","9783642319150"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31915-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}