{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:40:27Z","timestamp":1725579627941},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852332426"},{"type":"electronic","value":"9781447101093"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4471-0109-3_20","type":"book-chapter","created":{"date-parts":[[2011,3,23]],"date-time":"2011-03-23T21:03:57Z","timestamp":1300914237000},"page":"357-369","source":"Crossref","is-referenced-by-count":1,"title":["EnE Sentences and Local Extent in Diagrams"],"prefix":"10.1007","author":[{"given":"Norman","family":"Foo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"209","volume-title":"Diagrammatic reasoning: Cognitive and computational perspective. Cambridge","author":"J Barwise","year":"1995","unstructured":"Barwise, J. and Etchemendy, J. (1995). Heterogeneous logic. In J.I. Glasgow, N.H. Narayanan and B. Chandrasekaran (Eds), Diagrammatic reasoning: Cognitive and computational perspective. Cambridge, MA: MIT Press, pp. 209\u2013232."},{"key":"20_CR2","volume-title":"Model theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C. and Keisler, H.J. (1973). Model theory. Amsterdam: North-Holland."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes, R.E. and Nilsson, N.J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189\u2013208.","journal-title":"Artificial Intelligence"},{"key":"20_CR4","first-page":"549","volume-title":"Action localness, genericity and invariants in STRIPS. In Proceedings of the fifteenth international joint conference on artificial intelligence, IJCAI\u201997, Nagoya, August. San Mateo","author":"N Foo","year":"1997","unstructured":"Foo, N., Nayak, A., Pagnucco, M., Peppas, P. and Zhang, Y. (1997). Action localness, genericity and invariants in STRIPS. In Proceedings of the fifteenth international joint conference on artificial intelligence, IJCAI\u201997, Nagoya, August. San Mateo, CA: Morgan Kaufmann, pp. 549\u2013554."},{"key":"20_CR5","first-page":"565","volume-title":"Proceedings of the fifth Pacific Rim international conference on artificial intelligence, PRICAI\u201998: Topics in Artificial Intelligence, LNAI","author":"N Foo","year":"1998","unstructured":"Foo, N. (1998). Diagrammatic reasoning about linked lists. In Lee, H.Y. and Motoda, H. (Eds), Proceedings of the fifth Pacific Rim international conference on artificial intelligence, PRICAI\u201998: Topics in Artificial Intelligence, LNAI v. 1531. Berlin: Springer, pp. 565\u2013574."},{"key":"20_CR6","first-page":"105","volume-title":"Logic colloquium \u201981","author":"H Gaifman","year":"1982","unstructured":"Gaifman, H. (1982). On local and nonlocal properties. In J. Stern (Ed.), Logic colloquium \u201981. Amsterdam: North-Holland, pp. 105\u2013135."},{"volume-title":"Diagrammatic reasoning: Cognitive and computational perspectives. Cambridge","year":"1995","key":"20_CR7","unstructured":"Glasgow, J.I., Narayanan, N.H. and Chandrasekaran, B. (Eds) (1995). Diagrammatic reasoning: Cognitive and computational perspectives. Cambridge, MA: MIT Press."},{"key":"20_CR8","first-page":"3","volume-title":"Theories of visual and diagrammatic reasoning: Foundational issues. In Proceedings of the AAAI fall symposium on visual and diagrammatic reasoning. Orlando","author":"CA Gurr","year":"1998","unstructured":"Gurr, C.A. (1998). Theories of visual and diagrammatic reasoning: Foundational issues. In Proceedings of the AAAI fall symposium on visual and diagrammatic reasoning. Orlando, FL: AAAI Press, pp. 3\u201312."},{"key":"20_CR9","first-page":"273","volume-title":"Diagrammatic reasoning: Cognitive and computational perspectives. Cambridge","author":"K Myers","year":"1995","unstructured":"Myers, K. and Konolige, K. (1995). Reasoning with analogical representations. In J.I. Glasgow, N.H. Narayanan and B. Chandrasekaran (Eds), Diagrammatic reasoning: Cognitive and computational perspectives. Cambridge, MA: MIT Press, pp. 273\u2013301."},{"key":"20_CR10","volume-title":"Logical reasoning with diagrams","author":"A Shimojima","year":"1996","unstructured":"Shimojima, A. (1996). Operational constraints in diagrammatic reasoning. In J. Barwise and G. Allwein (Eds), Logical reasoning with diagrams. New York: Oxford University Press."},{"key":"20_CR11","volume-title":"Cambridge","author":"SJ Shin","year":"1994","unstructured":"Shin, S.J. (1994). The logical status of diagrams. Cambridge, UK: Cambridge University Press."},{"key":"20_CR12","volume-title":"Reading","author":"J Shoenfield","year":"1967","unstructured":"Shoenfield, J. (1967). Mathematical logic. Reading, MA: Addison-Wesley."},{"key":"20_CR13","volume-title":"Reading","author":"J Sowa","year":"1984","unstructured":"Sowa, J. (1984). Conceptual structures. Reading, MA: Addison-Wesley."}],"container-title":["Diagrammatic Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0109-3_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:36:45Z","timestamp":1605659805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0109-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781852332426","9781447101093"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0109-3_20","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}