{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:20Z","timestamp":1725486140662},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679158"},{"type":"electronic","value":"9783540445906"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44590-0_9","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T19:01:29Z","timestamp":1180810889000},"page":"42-57","source":"Crossref","is-referenced-by-count":4,"title":["Non-standard Logics for Diagram Interpretation"],"prefix":"10.1007","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"9_CR1","unstructured":"A.W. Black. A Situation Theoretic Approach to Computational Semantics. PhD thesis, Dept. of Artificial Intelligence, University of Edinburgh, 1992."},{"key":"9_CR2","unstructured":"J. Barwise and J. Perry. Situations and Attitudes. MIT Press, 1983."},{"key":"9_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Systems","author":"J. Barwise","year":"1997","unstructured":"J. Barwise and J. Seligman. Information Flow: The Logic of Distributed Systems. Cambridge University Press, New York, 1997."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. Cooper. Three lectures on situation theoretic grammar In Natural Language Processing: EAIA 90, pages 102\u2013140, Guarda, October 1990.","DOI":"10.1007\/3-540-53678-7_5"},{"key":"9_CR5","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":"9_CR6","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":"9_CR7","unstructured":"J.-Y. Girard. Linear logic: A survey. Technical report, Int. Summer School on Logic and Algebra of Specification, 1991."},{"key":"9_CR8","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":"9_CR9","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":"9_CR10","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":"9_CR11","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":"9_CR12","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":"9_CR13","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"},{"key":"9_CR14","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":"9_CR15","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":"9_CR16","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":"9_CR17","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-a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13:231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"key":"9_CR18","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":"9_CR19","first-page":"27","volume-title":"Logical Reasoning with Diagrams","author":"A. Shimojima","year":"1996","unstructured":"A. Shimojima. Operational constraints in diagrammatic reasoning. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, pages 27\u201348. Oxford University Press, New York, 1996."},{"key":"9_CR20","first-page":"81","volume-title":"Logical Reasoning with Diagrams","author":"S.-J. Shin","year":"1996","unstructured":"S.-J. Shin. A situation theoretic account of valid reasoning with Venn diagrams. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, pages 81\u2013108. Oxford University Press, New York, 1996."},{"key":"9_CR21","volume-title":"Handbook of Logic & Language","author":"J. Seligman","year":"1997","unstructured":"J. Seligman and L. S. Moss. Situation theory. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic & Language. Elsevier, Amsterdam, 1997."},{"key":"9_CR22","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":"9_CR23","series-title":"PhD thesis","volume-title":"DIAPLAN: A decidable diagrammatic proof system for planning in the blocks world","author":"M. Wollowski","year":"1998","unstructured":"M. Wollowski. DIAPLAN: A decidable diagrammatic proof system for planning in the blocks world. PhD thesis, Indiana University, Bloomington, 1998."},{"key":"9_CR24","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","Theory and Application of Diagrams"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44590-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:29:36Z","timestamp":1556454576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44590-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679158","9783540445906"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44590-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}