{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T20:28:49Z","timestamp":1764793729339},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_2","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T07:03:26Z","timestamp":1315465406000},"page":"33-52","source":"Crossref","is-referenced-by-count":27,"title":["Inference and Computation Mobility with Jinni"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"The Avalon MUD. \n                      http:\/\/www.avalon-rpg.com\/\n                      \n                    ."},{"key":"2_CR2","volume-title":"Migratory applications","author":"KA Bharat","year":"1995","unstructured":"K.A. Bharat, L. Cardelli. Migratory applications. In Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, Nov. 1995. http: \/\/gatekeeper. dec. com\/pub\/DEC\/SRC\/research-reports\/ abstracts\/src-rr-138.html"},{"key":"2_CR3","unstructured":"BlackSun. CyberGate. \n                      http:\/\/www.blaxxun.com\/\n                      \n                    ."},{"key":"2_CR4","unstructured":"L. Cardelli. Mobile ambients. Technical report, Microsoft, 1998. \n                      http:\/\/www.\n                      \n                     research.microsoft.com\/users\/adg\/Research\/Ambit\/default.html."},{"key":"2_CR5","first-page":"3","volume-title":"Mobile Object Systems - Towards the Programmable Internet","author":"L Cardelli","year":"1997","unstructured":"L. Cardelli. Mobile Computation. In J. Vitek, C. Tschudin, editors,Mobile Object Systems - Towards the Programmable Internet, pages 3\u20136. Springer- Verlag, LNCS 1228, 1997"},{"issue":"4","key":"2_CR6","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter. Linda in context. CACM, 32(4):444\u2013458, 1989.","journal-title":"CACM"},{"key":"2_CR7","first-page":"89","volume-title":"Proc. 1st Int. Conf on Coordination Models and Languages, volume 1061 of LNCS","author":"S Castellani","year":"1996","unstructured":"S. Castellani, P. Ciancarini.Enhancing Coordination and Modularity Mechanisms for a Languag e with Objects-as-Multisets. In P. Ciancarini, C. Han- kin, editors, Proc. 1st Int. Conf on Coordination Models and Languages, volume 1061 of LNCS, pages 89\u2013106, Cesena, Italy, April 1996. Springer-Verlag"},{"key":"2_CR8","first-page":"256","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming","author":"V Dahl","year":"1997","unstructured":"V. Dahl, P. Tarau, R. Li. Assumption Grammars for Processing Natural Language. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 256\u2013270, MIT press, 1997"},{"key":"2_CR9","first-page":"51","volume-title":"LogiMOO: Prolog Technology for Virtual Worlds","author":"K Bosschere De","year":"1996","unstructured":"K. De Bosschere,D Perron, P. Tarau. LogiMOO: Prolog Technology for Virtual Worlds. In Proceedings of PAP \u201996, pages 51\u201364, London, Apr. 1996"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/(SICI)1097-024X(199601)26:1<49::AID-SPE995>3.0.CO;2-C","volume":"26(l)","author":"K Bosschere De","year":"1996","unstructured":"K. De Bosschere, P. Tarau. Blackboard-based Extensions in Prolog. Software - Practice and Experience, 26(l):49\u201369, Jan. 1996","journal-title":"Software - Practice and Experience"},{"key":"2_CR11","unstructured":"GeneralMagicInc. Odissey. 1997. \n                      http:\/\/www.genmagic.com\/agents\n                      \n                    ."},{"key":"2_CR12","unstructured":"IBM. Aglets, \n                      http:\/\/www.trl.ibm.co.jp\/aglets\n                      \n                    ."},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/35037.42182","volume":"6","author":"E Jul","year":"1988","unstructured":"E. Jul, H. Levy, N. Hutchinson, A. Black. Fine-Grained Mobility in the Emerald System. ACM Transactions on Computer Systems, 6(1): 109\u2013133, February 1988.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"(l\/2)","key":"2_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0169-7552(95)00097-3","volume":"28","author":"T Meyer","year":"1995","unstructured":"T. Meyer, D. Blair, S. Hader. WAXweb: a MOO-based collaborative hypermedia system for WWW. Computer Networks and ISDN Systems, 28(l\/2):77\u201384, 1995","journal-title":"Computer Networks and ISDN Systems"},{"key":"2_CR15","volume-title":"Logic Programming and Virtual Worlds","author":"P Tarau","year":"1996","unstructured":"P. Tarau. Logic Programming and Virtual Worlds. In Proceedings of INAP96, Tokyo, Nov. 1996. Keynote address."},{"key":"2_CR16","volume-title":"BinProlog 7.0 Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp.","author":"P Tarau","year":"1998","unstructured":"P. Tarau.\nBinProlog 7.0 Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp., 1998. Available from http: \/\/www. binnetcorp. com\/BinProlog\/www"},{"key":"2_CR17","volume-title":"Mobile Threads through First Order Continuations","author":"P Tarau","year":"1998","unstructured":"P. Tarau,V. Dahl. Mobile Threads through First Order Continuations. In Proceedings of APPAI-GULP-PRODE\u201998, Coruna, Spain, July 1998"},{"key":"2_CR18","series-title":"Programming, Networking, and Security, Lecture Notes in Computer Science 1179","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BFb0027779","volume-title":"Concurrency and Parallelism","author":"P Tarau","year":"1996","unstructured":"P. Tarau, V. Dahl, A. Fall. Backtrackable State with Linear Affine Implication and Assumption Grammars. In J Jaffar and R. H. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science 1179, pages 53\u201364, Singapore, Dec. 1996. Springer-Verlag."},{"key":"2_CR19","volume-title":"Logic Program Synthesis and Transformation, Workshops in Computing, Springer-Verlag, pages 196\u2013209","author":"P Tarau","year":"1993","unstructured":"P. Tarau, K. De Bosschere. Memoing with Abstract Answers and Delphi Lemmas. In Y. Deville, editor, Logic Program Synthesis and Transformation, Workshops in Computing, Springer-Verlag, pages 196\u2013209, Lou vain-la-Neuve, July 1993."},{"key":"2_CR20","unstructured":"P. Tarau, K. De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In P. Tarau, A. Davison, K. De Bosschere, and M. Hermenegildo, editors, Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP\u201996, Bonn, Sept. 1996. \n                      http:\/\/clement.info.\n                      \n                     umoncton.ca\/ 1pnet."},{"key":"2_CR21","volume-title":"Using mobility to make transparent distribution practical","author":"P Roy Van","year":"1997","unstructured":"P. Van Roy, S. Haridi, P. Brand. Using mobility to make transparent distribution practical. 1997, manuscript."}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T07:20:59Z","timestamp":1620285659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_2","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}