{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:52Z","timestamp":1725487792172},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662235"},{"type":"electronic","value":"9783540486596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48659-3_32","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T13:47:14Z","timestamp":1185025634000},"page":"494-507","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Semantics for Conceptual Graphs"],"prefix":"10.1007","author":[{"given":"Gwen","family":"Kerdiles","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Fausto Giunchiglia and Paolo Bouquet. Introduction to Contextual Reasoning. An Artificial Intelligence Perpective. Technical Report 970519, IRST, 1997."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"John McCarthy. Generality in Artificial Intelligence. In ACM Turing Award Lectures. The First Twenty Years. ACM Press, 1987.","DOI":"10.1145\/33447.33448"},{"key":"32_CR3","unstructured":"John McCarthy and Sa\u0161a Buva\u010d. Formalizing Context (Expanded Notes). In A. Aliseda, R., van Glabbeek, and D. Westerst\u00e5hl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13\u201350. Center for the Study of Language and Information, Stanford University, 1997."},{"key":"32_CR4","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","unstructured":"Hans Kamp. A theory of truth and semantic representation. In Jeroen Groenendijk, Theo Janssen, and Martin Stokhof, editors, Formal Methods in the Study of Language. Mathematical Centre, Amsterdam, 1981."},{"key":"32_CR5","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Hans Kamp and Uwe R.eyle. From Discourse to Logic. Kluwer, Dordrecht, 1993."},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Jeroen Groenendijk and Martin Stokhof. Dynamic Predicate Logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"John F. Sowa. Peircean Foundations for a Theory of Context. In Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce\u2019s Dream (Proceedings of ICCS\u201997. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997 Lukose et al. [15], pages 41\u201364.","DOI":"10.1007\/BFb0027899"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Eric Salvat and Marie-Laure Mugnier. Sound and Complete Forward and Backward Chaining of Graph Rules. In P.W. Eklund, G. Ellis, and G. Mann, editors, Conceptual Structures: Knowledge Representation as Interlingua (Proceedings of ICCS\u201996. Sydney. Australia), volume 1115 of LNAI, pages 248\u2013262. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61534-2_16"},{"key":"32_CR9","unstructured":"John F. Sowa. Conceptual Structures, Information Processing in Mind and Machine. Addison Wesley, 1984."},{"issue":"1","key":"32_CR10","first-page":"7","volume":"10.","author":"M.-L. Mugnier","year":"1996","unstructured":"Marie-Laure Mugnier and Michel Chein. Repr\u00e9senter des connaissances et raisonner avec des graphes. RIA, 10.1:7\u201356, 1996.","journal-title":"RIA"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Gwen Kerdiles and Eric Salvat. A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. In Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce\u2019s Dream (Proceedings of ICCS\u201997. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997 Lukose et al. [15], pages 371\u2013385.","DOI":"10.1007\/BFb0027884"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Susanne Prediger. Simple Concept Graphs: A Logic Approach. In Marie-Laure Mugnier and Michel Chein, editors, Conceptual Structures: Theory. Tools and Applications (Proceedings of ICCS\u201998. Montpellier, France), volume 1453 of LNAI, pages 225\u2013239. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0054917"},{"key":"32_CR13","unstructured":"Sa\u0161a Buva\u010d. Quantificational logic of context. In proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996."},{"key":"32_CR14","unstructured":"Gwen Kerdiles. Graph matching in contextual reasoning. Technical R.eport 99034, LIRMM, 1999."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Dikson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors. Conceptual Structures: Fulfilling Peirce\u2019s Dream (Proceedings of ICCS\u201997. Seattle, USA), volume 1257 of LNAI. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027865"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Standards and Practices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48659-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:33:34Z","timestamp":1556696014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48659-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662235","9783540486596"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48659-3_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}