{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:51Z","timestamp":1725664071772},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582168"},{"type":"electronic","value":"9783540485735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58216-9_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:36:08Z","timestamp":1330270568000},"page":"320-332","source":"Crossref","is-referenced-by-count":0,"title":["A kind of achievement by parts method"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Mathieu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. P.","family":"Delahaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"23_CR1","unstructured":"C.L.Chang and R.C.T. Lee.-Symbolic Logic and Mechanical Theorem Proving. Academic Press, inc. 1973."},{"key":"23_CR2","first-page":"151","volume-title":"The complexity of theorem-proving procedures","author":"S. Cook","year":"1971","unstructured":"S. Cook.-The complexity of theorem-proving procedures. Proc. 3rd ann. ACM symp. on theory of computing. ACM New-York pp 151\u2013158, 1971."},{"key":"23_CR3","unstructured":"J.P. Delahaye.-Forward chaining and computation of two-valued and three-valued models. 7th Int. Conf. on Expert Systems and Applications, Avignon 87. p1341\u20131360."},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis, H. Putnam.-A Computing Procedure for Quantification Theory. JACM 7, p201\u2013215, 1960.","journal-title":"JACM"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen.-Negation in Logic Programming. Journal of Logic Programming, vol 4, 1987, p289\u2013308.","journal-title":"Journal of Logic Programming"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"P. Mathieu et J.P. Delahaye.-The logical Compilation of Knowledge Bases. Proceedings of JELIA 90, Amsterdam, Lecture Notes In AI, 478, Springer Verlag, pp386\u2013398.","DOI":"10.1007\/BFb0018454"},{"key":"23_CR7","first-page":"699","volume":"90","author":"P. Mathieu","year":"1990","unstructured":"P. Mathieu et J.P. Delahaye.-For which bases forward chaining is sufficient ? Proceedings of Cognitiva 90, Madrid, 1990, pp 699\u2013702.","journal-title":"Proceedings of Cognitiva"},{"key":"23_CR8","unstructured":"P. Mathieu.-La notion d'ach\u00e8vement et ses applications aux interpreteurs de regles. Ph.D. Thesis, Univ. Lille1, 1991."},{"key":"23_CR9","unstructured":"P. Siegel.-Representation et utilisation de la connaissance en calcul propositionnel. These d'Etat-GIA Marseille Luminy, 1987."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"J.C. Shepherdson.-Negation in logic programming. Foundations of deductive databases and logic programming (J.Minker ed), Morgan Kaufmann, 1988, p19\u201388.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"23_CR11","unstructured":"R. Turner.-Logics for Artificial Intelligence. Ellis Horwood, 1984."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58216-9_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:42Z","timestamp":1605647922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58216-9_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582168","9783540485735"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-58216-9_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}