{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:08:50Z","timestamp":1725574130676},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408031"},{"type":"electronic","value":"9783540452249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45224-9_13","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T05:09:45Z","timestamp":1294376985000},"page":"68-80","source":"Crossref","is-referenced-by-count":7,"title":["Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic"],"prefix":"10.1007","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol.\u00a0I. Princeton University Press, Princeton (1975)"},{"key":"13_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol.\u00a0II. Princeton University Press, Princeton (1992)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/327164.327267","volume-title":"Proc. ACM 19th Annual Computer Science Conference","author":"J. Cheng","year":"1991","unstructured":"Cheng, J.: Logical Tool of Knowledge Engineering: Using Entailment Logic rather than Mathematical Logic. In: Proc. ACM 19th Annual Computer Science Conference, pp. 228\u2013238. ACM Press, New York (1991)"},{"key":"13_CR4","unstructured":"Cheng, J.: The Fundamental Role of Entailment in Knowledge Representation and Reasoning. Journal of Computing and Information\u00a02(1), Special Issue: Proceedings of the 8th International Conference of Computing and Information. Waterloo, pp. 853-873 (1996)"},{"key":"13_CR5","first-page":"507","volume-title":"Advanced IT Tools, Proc. IFIP World Conference on IT Tools, IFIP 96 \u2212 14th World Computer Congress","author":"J. Cheng","year":"1996","unstructured":"Cheng, J.: EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proc. IFIP World Conference on IT Tools, IFIP 1996 \u2212 14th World Computer Congress, pp. 507\u2013514. CHAPMAN & HALL, London (1996)"},{"key":"13_CR6","first-page":"136","volume-title":"Information Modelling and Knowledge Bases XI","author":"J. Cheng","year":"2000","unstructured":"Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI, pp. 136\u2013159. IOS Press, Amsterdam (2000)"},{"key":"13_CR7","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctv2x8v8bq","volume-title":"Topics in the Logic of Relevance","author":"M.R. Diaz","year":"1981","unstructured":"Diaz, M.R.: Topics in the Logic of Relevance. Philosophia Verlag, Munchen (1981)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic","author":"J.M. Dunn","year":"2002","unstructured":"Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a06, pp. 1\u2013128. Kluwer Academic, Dordrecht (2002)","edition":"2"},{"key":"13_CR9","unstructured":"Godel, K.: Russell\u2019s Mathematical Logic. In: Schilpp (ed.): The Philosophy of Bertrand Russell. Open Court Publishing Company, Chicago (1944)"},{"volume-title":"Building Expert Systems","year":"1983","key":"13_CR10","unstructured":"Hayes-Roth, F., Waterman, D.A., Lenat, D.B. (eds.): Building Expert Systems. Addison-Wesley, Boston (1983)"},{"key":"13_CR11","volume-title":"The Development of Logic","author":"W. Kneale","year":"1962","unstructured":"Kneale, W., Kneale, M.: The Development of Logic. Oxford University Press, Oxford (1962)"},{"key":"13_CR12","first-page":"280","volume-title":"The Blackwell Guide to Philosophical Logic","author":"E.D. Mares","year":"2001","unstructured":"Mares, E.D., Meyer, R.K.: Relevant Logics. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 280\u2013308. Blackwell, Oxford (2001)"},{"key":"13_CR13","volume-title":"Relevant Logic: A Philosophical Examination of Inference","author":"S. Read","year":"1988","unstructured":"Read, S.: Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell, Oxford (1988)"},{"key":"13_CR14","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"Russell, B.: The Principles of Mathematics, 2nd edn. Cambridge University Press, Cambridge (1903, 1938); Norton Paperback edn. Norton, New York London (1996)","edition":"2"},{"key":"13_CR15","volume-title":"Automated Knowledge Acquisition.","author":"S. Sestito","year":"1994","unstructured":"Sestito, S., Dillon, T.S.: Automated Knowledge Acquisition. Prentice Hall, Upper Saddle River (1994)"},{"key":"13_CR16","volume-title":"Introduction to Logic and to the Methodology of the Deductive Sciences","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: Introduction to Logic and to the Methodology of the Deductive Sciences, 4th edn Revised. Oxford University Press, Oxford (1941, 1946, 1965, 1994)","edition":"4"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45224-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T15:40:18Z","timestamp":1685893218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45224-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408031","9783540452249"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45224-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}