{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:53:52Z","timestamp":1742381632959},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430636"},{"type":"electronic","value":"9783540455233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45523-x_3","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:15:24Z","timestamp":1179281724000},"page":"45-67","source":"Crossref","is-referenced-by-count":2,"title":["Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning"],"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":"Francesco","family":"Parisi Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"257","DOI":"10.7551\/mitpress\/2087.003.0015","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"J.-M. Andreoli","year":"1993","unstructured":"J.-M. Andreoli, P. Ciancarini, and R. Pareschi. Interaction abstract machines. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 257\u2013280. MIT Press, Cambridge, MA, 1993."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1002\/(SICI)1096-9942(1996)2:2<77::AID-TAPO1>3.0.CO;2-4","volume":"2","author":"J.-M. Andreoli","year":"1996","unstructured":"J.-M. Andreoli, S. Freeman, and R. Pareschi. The coordination language facility: Coordination of distributed objects. Theory and Practice of Object Systems, 2:77\u201394, 1996.","journal-title":"Theory and Practice of Object Systems"},{"key":"3_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":"3_CR4","unstructured":"U.M. Borgho., P. Bottoni, P. Mussio, and R. Pareschi. A systemic metaphor of multi-agent coordination in living systems. In Proc. European Simulation Multiconference (ESM\u201996), pages 245\u2013253, 1996."},{"key":"3_CR5","unstructured":"U.M. Borgho., P. Bottoni, P. Mussio, and R. Pareschi. Reflective agents for adaptive workflows. In Proc. 2nd Int. Conf. on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM\u2019 97), pages 405\u2013420, 1997."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1145\/330643.330644","volume":"21","author":"P. Bottoni","year":"1999","unstructured":"P. Bottoni, M.F. Costabile, and P. Mussio. Specification and dialogue control of visual interaction through visual rewriting systems. ACM Transactions on Programming Languages and Systems, 21:1077\u20131136, 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"P. Bottoni, B. Meyer, K. Marriott, and F. Parisi Presicce. Deductive parsing of visual languages. In Int. Conf. on Logical Aspects of Computational Linguistics, Le Croisic, France, June 2001.","DOI":"10.1007\/3-540-48199-0_5"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"R. Bardohl, M. Minas, A. Sch\u00fcrr, and G. Taentzer. Application of graph transformation to visual languages. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2, pages 105\u2013180. World Scientific, 1999.","DOI":"10.1142\/9789812815149_0003"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-46464-8_19","volume-title":"Theory and Application of Graph Transformations","author":"P. Bottoni","year":"2000","unstructured":"P. Bottoni, F. Parisi Presicce, and M. Simeoni. From formulae to rewriting systems. In H. Ehrig, G. Engels, H.-J. Kreowsky, and G. Rozenberg, editors, Theory and Application of Graph Transformations, pages 267\u2013280. Springer, Berlin, 2000."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Lowe. Algebraic approaches to graph transformation-Part I: basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, volume 1, pages 163\u2013245. World Scientific, 1997.","DOI":"10.1142\/9789812384720_0003"},{"key":"3_CR11","unstructured":"H. Ehrig, R. Heckel, M. Kor., M. L\u00f6we, L. Ribeiro, A. Wagner, and Corradini. Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, chapter 4. World Scientific, 1997."},{"key":"3_CR12","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":"3_CR13","unstructured":"J.-Y. Girard. Linear logic: A survey. Technical report, Int. Summer School on Logic and Algebra of Specification, 1991."},{"key":"3_CR14","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":"3_CR15","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":"3_CR16","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"},{"issue":"2","key":"3_CR17","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":"3_CR18","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":"3_CR19","first-page":"36","volume-title":"Computing with Bio-Molecules","author":"V. Manca","year":"1998","unstructured":"V. Manca. String rewriting and metabolism: A logical perspective. In G. Paun, editor, Computing with Bio-Molecules, pages 36\u201360. Springer-Verlag, Singapore, 1998."},{"key":"3_CR20","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":"3_CR21","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, AAAI Technical Report FS-97-02."},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1080\/088395100117025","volume":"14","author":"B. Meyer","year":"2000","unstructured":"B. Meyer. A constraint-based framework for diagrammatic reasoning. Applied Artificial Intelligence, 14(4):327\u2013344, 2000.","journal-title":"Applied Artificial Intelligence"},{"issue":"2","key":"3_CR23","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"},{"key":"3_CR24","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-44590-0_9"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"K. Marriott, B. Meyer, and K.B. Wittenburg. A survey of visual language specification and recognition. In K. Marriott and B. Meyer, editors, Visual Language Theory, pages 5\u201385. Springer, 1998.","DOI":"10.1007\/978-1-4612-1676-6_2"},{"issue":"3","key":"3_CR26","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/2.366152","volume":"28","author":"A. Repenning","year":"1995","unstructured":"A. Repenning and T. Sumner. Agentsheets: A medium for creating domainoriented visual languages. IEEE Computer, 28(3):17\u201326, March 1995.","journal-title":"IEEE Computer"},{"issue":"7","key":"3_CR27","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/176789.176795","volume":"37","author":"D.C. Smith","year":"1994","unstructured":"D.C. Smith, A. Cypher, and J. Sporer. Kidsim: Programming agents without a programming language. Comm. ACM, 37(7):55\u201367, July 1994.","journal-title":"Comm. ACM"},{"key":"3_CR28","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511574696","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1995","unstructured":"S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, Cambridge, 1995."},{"key":"3_CR29","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"}],"container-title":["Lecture Notes in Computer Science","Multiset Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45523-X_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T09:05:22Z","timestamp":1707901522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45523-X_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430636","9783540455233"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45523-x_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}