{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:57:55Z","timestamp":1742914675627,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642378898"},{"type":"electronic","value":"9783642378904"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-37890-4_13","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"203-207","source":"Crossref","is-referenced-by-count":0,"title":["Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Solimando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Traverso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"LNAI","first-page":"76","volume-title":"DALT 2012","author":"D. Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol.\u00a07784, pp. 76\u201395. Springer, Heidelberg (2013)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason, vol.\u00a08. Wiley-Interscience (2008)","DOI":"10.1002\/9780470061848"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Hudak, P., Hughes, J., Jones, S.P., Wadler, P.: A history of Haskell: being lazy with class. In: HOPL III: Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages, pp. 12-1\u201312-55 (2007)","DOI":"10.1145\/1238844.1238856"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-59451-5_4","volume-title":"Advanced Functional Programming","author":"M. Jones","year":"1995","unstructured":"Jones, M.: Functional Programming with Overloading and Higher-Order Polymorphism. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 97\u2013136. Springer, Heidelberg (1995)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1145\/1086365.1086390","volume-title":"Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, ICFP 2005","author":"O. Kiselyov","year":"2005","unstructured":"Kiselyov, O., Shan, C., Friedman, D.P., Sabry, A.: Backtracking, interleaving, and terminating monad transformers (functional pearl). In: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, pp. 192\u2013203. ACM, New York (2005)"},{"key":"13_CR6","first-page":"17","volume":"6","author":"E.S.L. Lam","year":"2006","unstructured":"Lam, E.S.L., Sulzmann, M.: Towards agent programming in CHR. CHR\u00a06, 17\u201331 (2006)","journal-title":"CHR"},{"key":"13_CR7","unstructured":"Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Proceedings of WOA 2005, pp. 9\u201315. Pitagora Editrice Bologna (2005)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"O\u2019Sullivan, B., Stewart, D.B., Goerzen, J.: Real World Haskell. O\u2019Reilly Media (2009)","DOI":"10.1145\/1668113.1668115"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Pucella, R., Tov, J.A.: Haskell session types with (almost) no class. In: Haskell, pp. 25\u201336 (2008)","DOI":"10.1145\/1543134.1411290"},{"key":"13_CR11","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.S. Rao","year":"1996","unstructured":"Rao, A.S.: 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":"13_CR12","unstructured":"Sulzmann, M., Lam, E.S.L.: Specifying and Controlling Agents in Haskell"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"key":"13_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/11961536_16","volume-title":"Declarative Agent Languages and Technologies IV","author":"A.Z. Wyner","year":"2006","unstructured":"Wyner, A.Z.: A Functional Program for Agents, Actions, and Deontic Specifications. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 239\u2013256. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37890-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T16:08:54Z","timestamp":1676304534000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_13"}},"subtitle":["(Position Paper)"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}