{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:49Z","timestamp":1725455929328},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018454","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"386-398","source":"Crossref","is-referenced-by-count":4,"title":["The logical compilation of knowledge bases"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Mathieu","sequence":"first","affiliation":[]},{"given":"Jean-Paul","family":"Delahaye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt, H. Blair, A. Walker. Towards a Theory of Declarative Knowledge. Foundations of deductive databases and logic programming (J.Minker ed), Morgan Kaufmann, 1988, p 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"4","key":"25_CR2","first-page":"633","volume":"28","author":"W. Bibel","year":"1981","unstructured":"W. Bibel. On Matrices with Connections. J of A.C.M. Vol 28, no4, 1981, p633\u2013645.","journal-title":"J of A.C.M."},{"key":"25_CR3","unstructured":"L. Caroll. La logique sans peine. Ed Hermann, 1966."},{"key":"25_CR4","unstructured":"C.L.Chang and R.C.T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, inc. 1973."},{"key":"25_CR5","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":"25_CR6","unstructured":"J.P. Delahaye. Semantics and Completeness of Forward Chaining in Propositionnal Calculus (in French). Research report IT no115, Laboratoire d'Informatique Fondamentale de Lille, 1987."},{"key":"25_CR7","unstructured":"J.P. Delahaye et P. Mathieu. The Achievement Notion and its Application to Rule Interpreters (in French). Research report IT no172, Laboratorie d'Informatique Fondamentale de Lille, september 89."},{"key":"25_CR8","unstructured":"J.P. Delahaye et P. Mathieu. How to Make a Complete Computation with Forward Chaining?. Proceedings of IASTED 90, Honolulu, 1990."},{"key":"25_CR9","unstructured":"J.P. Delahaye et P. Mathieu. For which bases forward chaining is sufficient?. Proceedings of Cognitiva 90, Madrid, 1990 (to appear)."},{"key":"25_CR10","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":"25_CR11","doi-asserted-by":"crossref","unstructured":"J.P. Delahaye, V. Thibau. Programming in Three-Valued Logic, TCS (to appear), 1990.","DOI":"10.1016\/0304-3975(51)90008-4"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs, J. of Logic Programming, vol 2, 1985, p295,312.","journal-title":"J. of Logic Programming"},{"key":"25_CR13","unstructured":"M. Fitting, M. Ben-Jacob. Stratified and Three-valued Logic Programming Semantics. Proc. 5th International Conference and Symposium in Logic Programming (Edited by Kowalski and Bowen), 1988, p.1054\u20131069."},{"key":"25_CR14","volume-title":"Introduction to metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene. Introduction to metamathematics. Van Nostrand, New-York, 1952."},{"key":"25_CR15","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":"25_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen. Signed Data Dependencies in Logic Programs. Journal of Logic Programming, vol 7, 1989, p231\u2013245.","journal-title":"Journal of Logic Programming"},{"key":"25_CR17","volume-title":"A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms","author":"C.T. Lee","year":"1967","unstructured":"C.T. Lee. A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms. Ph.D. Thesis, University of California, Berkeley, 1967."},{"key":"25_CR18","unstructured":"J. Lukasiewicz. Elements of Mathematical Logic. Pergamon Press, 1963."},{"key":"25_CR19","unstructured":"T. Przymusinski. Non-Monotonic Formalisms and Logic Programming. Proc. 6th Int. Conference on Logic Programming, Levi and Martelli eds, 1989, p655\u2013674."},{"key":"25_CR20","unstructured":"A. Rausy. L'Evaluation S\u00e9mantique en Calcul Propositionnel. Ph.D. Thesis GIA Marseille Luminy, 1989."},{"key":"25_CR21","unstructured":"P. Siegel. Representation et utilisation de la connaissance en calcul propositionnel. Th\u00e8se d'\u00e9tat-GIA Marseille Luminy, 1987."},{"key":"25_CR22","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":"25_CR23","unstructured":"R. Turner. Logics for Artificial Intelligence. Ellis Horwood, 1984."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:31:23Z","timestamp":1683297083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0018454","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}