{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:15Z","timestamp":1725467595497},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054914","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:55Z","timestamp":1153991455000},"page":"179-193","source":"Crossref","is-referenced-by-count":4,"title":["Piece resolution: Towards larger perspectives"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Coulondre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Salvat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"14_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, Mass., 1995."},{"issue":"4","key":"14_CR2","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Catriel Beeri and Moshe Y. Vardi. A proof procedure for data dependencies. Journal of the ACM, 31(4): 718\u2013741, October 1984.","journal-title":"Journal of the ACM"},{"key":"14_CR3","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00159211","volume":"10","author":"M. Chein","year":"1996","unstructured":"M. Chein and M.-L. Mugnier. Repr\u00e9senter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1): 7\u201356, 1996.","journal-title":"Revue d'Intelligence Artificielle"},{"issue":"12","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1296","DOI":"10.1145\/214956.214958","volume":"28","author":"A. Colmerauer","year":"1985","unstructured":"Alain Colmerauer. Prolog in 10 figures. Communications of the ACM, 28(12): 1296\u20131310, December 1985.","journal-title":"Communications of the ACM"},{"key":"14_CR6","unstructured":"St\u00e9phane Coulondre. Exploitation de la notion de pi\u00e8ce des r\u00e8gles de graphes conceptuels en programmation logique et en bases de donn\u00e9es. Master's thesis, Universit\u00e9 Montpellier II, 1997."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1147\/rd.301.0070","volume":"30","author":"J. Fargues","year":"1986","unstructured":"Jean Fargues, Marie-Claude Landau, Anne Dugourd, and Laurent Catach. Conceptual graphs for semantics and knowledge processing. IBM Journal of Research and Development, 30(1): 70\u201379, January 1986.","journal-title":"IBM Journal of Research and Development"},{"key":"14_CR8","unstructured":"Bikash Chandra Ghosh and V. Wuwongse. A direct proof procedure for definite conceptual graph programs. Lecture Notes in Computer Science, 954, 1995."},{"key":"14_CR9","unstructured":"R. A. Kowalski. Predicate logic as a programming language. Proc. IFIP 4, pages 569\u2013574, 1974."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming, Second Edition. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/321526.321527","volume":"16","author":"D. W. Loveland","year":"1969","unstructured":"Donald W. Loveland. A simplified format for the model elimination procedure. Journal of the ACM, 16(3): 233\u2013248, July 1969.","journal-title":"Journal of the ACM"},{"key":"14_CR12","volume-title":"PhD thesis","author":"E. Salvat","year":"1997","unstructured":"Eric Salvat. Raisonner avec des op\u00e9rations de graphes: graphes conceptuels et r\u00e8gles d'inf\u00e9rence. PhD thesis, Universit\u00e9 Montpellier II, Montpellier, France, December 1997."},{"key":"14_CR13","first-page":"248","volume-title":"volume 1115 of LNAI","author":"E. Salvat","year":"1996","unstructured":"Eric Salvat and Marie-Laure Mugnier. Sound and complete forward and backward chainings of graph rules. In Proceedings of the Fourth International Conference on Conceptual Structures (ICCS-96), volume 1115 of LNAI, pages 248\u2013262, Berlin, Augustl9\u201322 1996. Springer."},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0022-0000(84)90074-6","volume":"28","author":"M. Y. Vardi","year":"1984","unstructured":"Moshe Y. Vardi. The implication and finite implication problems for typed template dependencies. Journal of Computer and System Sciences, 28(1): 3\u201328, February 1984.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T17:25:12Z","timestamp":1549905912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0054914","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}