{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:52:11Z","timestamp":1725468731678},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358930"},{"type":"electronic","value":"9783540359029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787181_8","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T13:06:40Z","timestamp":1156511200000},"page":"102-116","source":"Crossref","is-referenced-by-count":4,"title":["Rules Dependencies in Backward Chaining of Conceptual Graphs Rules"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Baget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Salvat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"8_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45091-7_16","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"J.-F. Baget","year":"2003","unstructured":"Baget, J.-F.: Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol.\u00a02746. Springer, Heidelberg (2003)"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.918","volume":"16","author":"J.-F. Baget","year":"2002","unstructured":"Baget, J.-F., Mugnier, M.-L.: The Complexity of Rules and Constraints. JAIR\u00a016, 425\u2013465 (2002)","journal-title":"JAIR"},{"key":"8_CR4","first-page":"407","volume-title":"Proc. of KR2004","author":"J.-F. Baget","year":"2004","unstructured":"Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: Proc. of KR2004, pp. 407\u2013414. AAAI Press, Menlo Park (2004)"},{"issue":"4","key":"8_CR5","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d\u2019Intelligence Artificielle\u00a06(4), 365\u2013406 (1992)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"8_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-27769-9_20","volume-title":"Conceptual Structures at Work","author":"M. Chein","year":"2004","unstructured":"Chein, M., Mugnier, M.-L.: Types and Coreference in Simple Conceptual Graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 303\u2013318. Springer, Heidelberg (2004)"},{"key":"8_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BFb0054914","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"S. Coulondre","year":"1998","unstructured":"Coulondre, S., Salvat, E.: Piece resolution: Towards larger perspectives. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol.\u00a01453, pp. 179\u2013193. Springer, Heidelberg (1998)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/10722280_12","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"M.-L. Mugnier","year":"2000","unstructured":"Mugnier, M.-L.: Knowledge Representation and Reasoning based on Graph Homomorphism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 172\u2013192. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR9","first-page":"7","volume":"10","author":"M.-L. Mugnier","year":"1996","unstructured":"Mugnier, M.-L., Chein, M.: Repr\u00e9senter des connaissances et raisonner avec des graphes. Revue d\u2019Intelligence Artificielle\u00a010(1), 7\u201356 (1996)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"8_CR10","unstructured":"Salvat, E.: Theorem proving using graph operations in the conceptual graphs formalism. In: Proc. of ECAI 1998, pp. 356\u2013360 (1998)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Salvat, E., Mugnier, M.-L.: Sound and Complete Forward and Backward Chainings of Graph Rules. In: ICCS 1996. LNCS (LNAI), vol.\u00a01115, pp. 248\u2013262. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61534-2_16"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Sowa, J.F.: Conceptual Graphs. IBM Journal of Research and Development (1976)","DOI":"10.1147\/rd.204.0336"},{"key":"8_CR13","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Inspiration and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787181_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:41Z","timestamp":1619508041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787181_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358930","9783540359029"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11787181_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}