{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T12:39:38Z","timestamp":1750163978648},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615347"},{"type":"electronic","value":"9783540687306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61534-2_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:53:30Z","timestamp":1330293210000},"page":"248-262","source":"Crossref","is-referenced-by-count":50,"title":["Sound and complete forward and backward chainings of graph rules"],"prefix":"10.1007","author":[{"given":"Eric","family":"Salvat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Laure","family":"Mugnier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"16_CR1","unstructured":"M. Chein, J. Bouaud, J.P. Chevallet, R. Dieng, B. Levrat, and G. Sabah. Graphes Conceptuels. In Actes des 5emes Journees Nationales du PRC-GDR Intelligence Artificielle, pages 179\u2013212, 1995."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"O. Cogis and O. Guinaldo. A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test. In Lecture Notes in AI, 954, Proceedings of ICCS'95, pages 263\u2013277. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60161-9_43"},{"key":"16_CR3","unstructured":"M. Chein and M.L. Mugnier. Conceptual Graphs: fundamental notions. Revue d'Intelligence Artificielle, 6(4), 1992. In english."},{"key":"16_CR4","unstructured":"M. Chein and M.L. Mugnier. Conceptual graphs are also graphs. Research Report 95-004, LIRMM, Jan. 1995. 17 pages."},{"key":"16_CR5","first-page":"487","volume":"1","author":"A. Colmerauer","year":"1983","unstructured":"A. Colmerauer. Prolog in ten figures. In Proceedings IJCAI'83, Vol. 1, pages 487\u2013497, 1983.","journal-title":"Proceedings IJCAI'83"},{"issue":"1","key":"16_CR6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1147\/rd.301.0070","volume":"30","author":"J. Fargues","year":"1986","unstructured":"J. Fargues, M.C. Landau, A. Dugourd, and L. Catach. Conceptual Graphs for Semantics and Information Processing. IBM Journal of Research and Development, 30(1):70\u201379, 1986.","journal-title":"IBM Journal of Research and Development"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"B.C. Ghosh and V. Wuwongse. A direct Proof Procedure for Definite Conceptual Graph programs. In Lecture Notes in AI, 954, Proceedings of ICCS'95, pages 158\u2013172. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60161-9_36"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"M.L. Mugnier and M. Chein. Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. In Lecture Notes in AI, 699, Proceedings ICCS'93, pages 294\u2013311. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56979-0_16"},{"key":"16_CR9","unstructured":"M.L. Mugnier and M. Chein. Repr\u00e9senter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1), 1996."},{"key":"16_CR10","unstructured":"A.S. Rao and N. Foo. Conceptual Graph Reasoning System. In Proceedings of the 3rd CAIA, pages 87\u201392. IEEE Computer Society Press, 1987."},{"key":"16_CR11","unstructured":"J.F. Sowa. Conceptual Structures \u2014 Information Processing in Mind and Machine. Addison-Wesley, 1984."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Knowledge Representation as Interlingua"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61534-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:02Z","timestamp":1619573642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61534-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615347","9783540687306"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61534-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}