{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:44Z","timestamp":1725490124958},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_7","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"93-107","source":"Crossref","is-referenced-by-count":0,"title":["Logic Programming Techniques for Dynamic VRML Web Content Generation"],"prefix":"10.1007","author":[{"given":"Anima","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Tarau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"issue":"3\/4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"H. A\u00eft-Kaci and A. Podelski. Towards a meaning of LIFE. Journal of Logic Programming, 16(3\/4):195, 1993.","journal-title":"Journal of Logic Programming"},{"key":"7_CR2","unstructured":"D. R. J. L. Ames, Andrea L. Nadeau. VRML 2.0 Sourcebook. Wiley, Dec. 1996."},{"key":"7_CR3","unstructured":"D. Cabeza, M. Hermenegildo, and S. Varma. The PiLLoW\/CIAO Library for INTERNET\/ WWW Programming using Computational Logic Systems, May 1999. See http:\/\/www.clip.dia...upm.es\/Software\/pillow\/pillow.html ."},{"issue":"4","key":"7_CR4","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in Context. CACM, 32(4):444\u2013458, 1989.","journal-title":"CACM"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"V. Dahl, P. Tarau, and 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.","DOI":"10.7551\/mitpress\/4299.003.0024"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1002\/(SICI)1097-024X(199601)26:1<49::AID-SPE995>3.0.CO;2-C","volume":"26","author":"K. Bosschere De","year":"1996","unstructured":"K. De Bosschere and P. Tarau. Blackboard-based Extensions in Prolog. Software-Practice and Experience, 26(1):49\u201369, Jan. 1996.","journal-title":"Software-Practice and Experience"},{"key":"7_CR7","unstructured":"J. S. Hodas. Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation. PhD thesis, University of Pennsylvania, Department of Computer and Information Science, May 1994. Available as University of Pennsylvania Technical Reports MS-CIS-92-28 or LINC LAB 269."},{"key":"7_CR8","unstructured":"J. S. Hodas and D. Miller. Representing objects in a logic programming language with scoping constructs. In D. D. H. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 511\u2013526. MIT Press, June 1990."},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. S. Hodas","year":"1994","unstructured":"J. S. Hodas and D. Miller. Logic Programming in a Fragment of Intuitionistic Linear logic. Journal of Information and Computation, 110(2):327\u2013365, May 1994.","journal-title":"Journal of Information and Computation"},{"key":"7_CR10","unstructured":"K. Jamsa Kris A. Schmauder; Phil Yee, Nelson Jamsa. VRML Programmer\u2019s Library. May 1997."},{"key":"7_CR11","unstructured":"A. D. Martin McCarthy. Reality Architecture: Building 3D Worlds in Java & VRML. Feb. 1998."},{"key":"7_CR12","unstructured":"S. Peyton Jones and J. Hughes. Haskell 98: A Non-strict, Purely Functional Language. Technical report, Feb. 1999. available from: http:\/\/www.haskell.org\/onlinereport\/ ."},{"key":"7_CR13","unstructured":"G. B. Rikk Carey. The Annotated Vrml 2.0 Reference Manual. June 1997."},{"key":"7_CR14","unstructured":"G. Smedb\u00e4ck, M. Carro, and M. Hermenegildo. Interfacing Prolog and VRML and its Application to Constraint Visualization. In The Practical Application of Constraint Technologies and Logic programming, pages 453\u2013471. The Practical Application Company, April 1999."},{"key":"7_CR15","unstructured":"P. Tarau. Logic Programming Tools for Advanced Internet Programming. In J. Maluszynski, editor, Logic Programming, Proceedings of the 1997 International Symposium, pages 33\u201334, MIT press, 1997. http:\/\/www.cs.unt.edu\/ tarau\/ research\/PapersHTML\/ptut\/art.ps ."},{"key":"7_CR16","unstructured":"P. Tarau. BinProlog 7.0 Professional Edition: Advanced BinProlog Programming and Extensions Guide. Technical report, BinNet Corp., 1998. Available from http:\/\/www.binnetcorp.com\/BinProlog ."},{"key":"7_CR17","unstructured":"P. Tarau. BinProlog 7.0 Professional Edition: Internet Programming Guide. Technical report, BinNet Corp., 1998. Available from http:\/\/www.binnetcorp.com\/BinProlog ."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P. Tarau. Inference and Computation Mobility with Jinni. In K. Apt, V. Marek, and M. Truszczynski, editors, The Logic Programming Paradigm: a 25 Year Perspective, pages 33\u201348. Springer, 1999. ISBN 3-540-65463-1.","DOI":"10.1007\/978-3-642-60085-2_2"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"P. Tarau and V. Dahl. High-Level Networking with Mobile Code and First Order AND-Continuations. Theory and Practice of Logic Programming, 1(1), Jan. 2001. to appear at Cambridge University Press.","DOI":"10.1017\/S1471068401001193"},{"key":"7_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BFb0027779","volume-title":"Concurrency and Parallelism, Programming, Networking, and Security","author":"P. Tarau","year":"1996","unstructured":"P. Tarau, V. Dahl, and 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."},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0743-1066(98)10028-6","volume":"38","author":"P. Tarau","year":"1999","unstructured":"P. Tarau, K. De Boschere, V. Dahl, and S. Rochefort. LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control. Journal of LogicProgramming, 38(3): 331\u2013353, Mar. 1999.","journal-title":"Journal of LogicProgramming"},{"key":"7_CR22","unstructured":"The External Authoring Interface Workgroup. VRML-EAI Specification. Technical report, 1999. available from http:\/\/www.vrml.org\/WorkingGroups\/vrmleai\/ index.html ."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"P. Wadler. Monads and composable continuations. Lisp and Symbolic Computation, pages 1\u201317, 1993.","DOI":"10.1007\/BF01019944"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T16:43:34Z","timestamp":1708188214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}