{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T09:40:19Z","timestamp":1737366019554,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422730"},{"type":"electronic","value":"9783540481997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48199-0_5","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T08:25:15Z","timestamp":1186907115000},"page":"79-94","source":"Crossref","is-referenced-by-count":4,"title":["Deductive Parsing of Visual Languages"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco Parisi","family":"Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,13]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"H. Abramson and V. Dahl. Logic Grammars. Springer, 1989.","DOI":"10.1007\/978-1-4612-3640-5"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"J.-M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3), 1992.","DOI":"10.1093\/logcom\/2.3.297"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J.-M. Andreoli","year":"1991","unstructured":"J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9:445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"5_CR4","first-page":"295","volume-title":"6th Int. Wks. on Parsing Technologies","author":"P. Blache","year":"2000","unstructured":"P. Blache. Property grammars: A solution for parsing with constraints. In 6th Int. Wks. on Parsing Technologies, pages 295\u2013296. ITC-irst, Trento, February 2000."},{"key":"5_CR5","unstructured":"P. Bottoni, B. Meyer, and F. Parisi-Presicce. Visual multiset rewriting. In Pre-proceedings of the Workshop on Multiset Processing, pages 35\u201350. Centre for Discrete Mathematics and Theoretical Computer Science, Univ. of Auckland, August 2000."},{"key":"5_CR6","first-page":"53","volume-title":"6th Int. Wks. on Parsing Technologies","author":"P. Boullier","year":"2000","unstructured":"P. Boullier. Range concatenation grammars. In 6th Int. Wks. on Parsing Technologies, pages 53\u201364. ITC-irst, Trento, February 2000."},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00127678","volume":"10","author":"J.M. Gooday","year":"1996","unstructured":"J.M. Gooday and A.G. Cohn. Using spatial logic to describe visual programming languages. Artificial Intelligence Review, 10:171\u2013186, 1996.","journal-title":"Artificial Intelligence Review"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Linear logic, its syntax and semantics. In Regnier Girard, Lafont, editor, Advances in Linear Logic, London Mathematical Society Lecture Notes Series 222. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511629150"},{"key":"5_CR10","unstructured":"J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, editors. Diagrammatic Reasoning. AAAI Press and MIT Press, 1995."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-1-4612-1676-6_9","volume-title":"Visual Language Theory","author":"V. Haarslev","year":"1998","unstructured":"V. Haarslev. A fully formalized theory for describing visual notations. In K. Marriott and B. Meyer, editors, Visual Language Theory, pages 261\u2013292. Springer, New York, 1998."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S1045-926X(05)80002-3","volume":"2","author":"R. Helm","year":"1991","unstructured":"R. Helm and K. Marriott. A declarative specification and semantics for visual languages. Journal of Visual Languages and Computing, 2:311\u2013331, 1991.","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"R. Helm, K. Marriott, and M. Odersky. Building visual language parsers. In ACM Conf. Human Factors in Computing, pages 118\u2013125, 1991.","DOI":"10.1145\/108844.108860"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J.ETO~S. Hodas. A linear logic treatment of phrase-structure grammars for unbounded dependencies. In Logical Aspects of Computational Linguistics, LNAI 1582, pages 160\u2013179. Springer, 1999.","DOI":"10.1007\/3-540-48975-4_8"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/logcom\/4.2.175","volume":"4","author":"J. Harland","year":"1994","unstructured":"J. Harland and D. Pym. A uniform proof-theoretic investigation of linear logic programming. Journal of Logic and Computation, 4(2):175\u2013207, April 1994.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BFb0014329","volume-title":"Algebraic Methodology and Software Technology","author":"J. Harland","year":"1996","unstructured":"J. Harland, D. Pym, and M. Winikoff. Programming in Lygon: An overview. In Algebraic Methodology and Software Technology, LNCS 1101, pages 391\u2013405. Springer, July 1996."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"K. Marriott. Constraint multiset grammars. In IEEE Symposium on Visual Languages, pages 118\u2013125. IEEE Computer Society Press, 1994.","DOI":"10.1109\/VL.1994.363633"},{"key":"5_CR18","first-page":"58","volume-title":"AAAI Symposium on Diagrammatic Reasoning (DR-II)","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Formalization of visual mathematical notations. In M. Anderson, editor, AAAI Symposium on Diagrammatic Reasoning (DR-II), pages 58\u201368, Boston\/MA, November 1997. AAAI Press."},{"issue":"14","key":"5_CR19","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1080\/088395100117025","volume":"4","author":"B. Meyer","year":"2000","unstructured":"B. Meyer. A constraint-based framework for diagrammatic reasoning. Applied Artificial Intelligence: An International Journal. Special Issue on Constraint Handling Rules, 4(14):327\u2013344, 2000.","journal-title":"Applied Artificial Intelligence: An International Journal. Special Issue on Constraint Handling Rules"},{"issue":"2","key":"5_CR20","first-page":"63","volume":"2","author":"D. Miller","year":"1995","unstructured":"D. Miller. A survey of linear logic programming. Computational Logic, 2(2):63\u201367, December 1995.","journal-title":"Computational Logic"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1006\/jvlc.1997.0053","volume":"8","author":"K. Marriott","year":"1997","unstructured":"K. Marriott and B. Meyer. On the classification of visual languages by grammar hierarchies. Journal of Visual Languages and Computing, 8(4):374\u2013402, 1997.","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR22","unstructured":"B. Meyer and K. Marriott. Specifying diagram animation with rewrite systems. In International Workshop on Theory of Visual Languages (TVL\u201997), pages 85\u201396, Capri, Italy, September 1997."},{"key":"5_CR23","volume-title":"Diagrams 2000: International Conference on Theory and Application of Diagrams","author":"K. Marriott","year":"2000","unstructured":"K. Marriott and B. Meyer. Non-standard logics for diagram interpretation. In Diagrams 2000: International Conference on Theory and Application of Diagrams, Edinburgh, Scotland, September 2000. Springer. To appear."},{"key":"5_CR24","volume-title":"Diagrammatic Representation and Reasoning","author":"B. Meyer","year":"2000","unstructured":"B. Meyer, K. Marriott, and G. Allwein. Intelligent diagrammatic interfaces: State of the art. In P. Olivier, M. Anderson, and B. Meyer, editors, Diagrammatic Representation and Reasoning. Springer, London, 2000. To appear."},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-1-4612-1676-6_2","volume-title":"Visual Language Theory","author":"K. Marriott","year":"1998","unstructured":"K. Marriott, B. Meyer, and K. Wittenburg. A survey of visual language specification and recognition. In K. Marriott and B. Meyer, editors, Visual Language Theory, pages 5\u201385. Springer, New York, 1998."},{"key":"5_CR26","first-page":"315","volume-title":"6th Int. Wks. on Parsing Technologies","author":"F. Morawietz","year":"2000","unstructured":"F. Morawietz. Chart parsing as constraint propagation. In 6th Int. Wks. on Parsing Technologies, pages 315\u2013316. ITC-irst, Trento, February 2000."},{"key":"5_CR27","unstructured":"R. Pareschi and D. Miller. Extending definite clause grammars with scoping constructs. In 1990 International Conference in Logic Programming, pages 373\u2013389. MIT Press, 1990."},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"F.C.N. Pereira and David H.D. Warren. Definite clause grammars for language analysis \u2014 a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13:231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","volume":"41","author":"R. Reiter","year":"1989","unstructured":"R. Reiter and A.K. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 41:125\u2013155, 1989.","journal-title":"Artificial Intelligence"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"S. Shaumyan and P. Hudak. Linguistic, philosophical and pragmatic aspects of type-directed natural language parsing. In Logical Aspects of Computational Linguistics, LNAI 1582, pages 70\u201391. Springer, 1999.","DOI":"10.1007\/3-540-48975-4_4"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(91)90002-7","volume":"10","author":"T. Tanaka","year":"1991","unstructured":"T. Tanaka. Definite clause set grammars: A formalism for problem solving. Journal of Logic Programming, 10:1\u201317, 1991.","journal-title":"Journal of Logic Programming"},{"key":"5_CR32","unstructured":"M. Winikoff. Hitch Hiker\u2019s Guide to Lygon 0.7. Technical Report TR 96\/36, University of Melbourne, Dept. of Computer Science, 1996."},{"key":"5_CR33","first-page":"133","volume-title":"Semantic Networks in Artificial Intelligence","author":"W.A. Woods","year":"1992","unstructured":"W.A. Woods and J.G. Schmolze. The KL-ONE family. In F. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133\u2013177. Pergamon Press, Oxford, 1992."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48199-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:58:15Z","timestamp":1737363495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48199-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422730","9783540481997"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-48199-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}