{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:10:07Z","timestamp":1725567007157},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540288947"},{"type":"electronic","value":"9783540319832"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11552413_108","type":"book-chapter","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T15:45:01Z","timestamp":1285775101000},"page":"758-767","source":"Crossref","is-referenced-by-count":3,"title":["Autonomous and Continuous Evolution of Information Systems"],"prefix":"10.1007","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"108_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":"108_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":"108_CR3","volume-title":"Intelligent Software Agents: Foundations and Applications","author":"W. Brenner","year":"1998","unstructured":"Brenner, W., Zarnekow, R., Wittig, H.: Intelligent Software Agents: Foundations and Applications. Springer, Heidelberg (1998)"},{"key":"108_CR4","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"J.P. Burgess","year":"2002","unstructured":"Burgess, J.P.: Basic Tense Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a07, pp. 1\u201342. Kluwer Academic, Dordrecht (2002)","edition":"2"},{"key":"108_CR5","unstructured":"Cheng, J.: Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery. In: Systematic Methods of Scientific Discovery \u2212 Papers form the, Spring Symposium, Technical Report SS-95-03. AAAI Press, Melon Park, pp. 105\u2013110 (1995)"},{"key":"108_CR6","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 96 \u2212 14th World Computer Congress, pp. 507\u2013514. Chapman & Hall, London (1996)"},{"key":"108_CR7","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":"108_CR8","doi-asserted-by":"crossref","unstructured":"Cheng, J.: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. In: Palade, V., Howlett, R.J., Jain, L.C. (eds.): Knowledge-Based Intelligent Information & Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I. Lecture Notes in Artificial Intelligence, Vol. 2773, Springer-Verlag (2003) 68-80","DOI":"10.1007\/978-3-540-45224-9_13"},{"key":"108_CR9","doi-asserted-by":"crossref","unstructured":"Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning- Reacting Systems. In: Daniel M. Dubois (ed.): Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference. AIP Conference Proceedings, Vol. 718. American Institute of Physics, Melville (2004) 362-375","DOI":"10.1063\/1.1787339"},{"key":"108_CR10","unstructured":"Cheng, J.: Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. In: Proc. 19th IEEE-CS International Conference on Advanced Information Networking and Applications. (2005) Vol. 1, 667-672"},{"key":"108_CR11","unstructured":"Cheng, J, Akimoto, N., Goto, Y., Koide, M., Nanashima, K., Nara, S.: HILBERT: An Autonomous Evolutionary Information System for Teaching and Learning Logic. In: Proc. 6th International Conference on Computer Based Learning in Science, Vol. 1. (2003) 245- 254"},{"key":"108_CR12","unstructured":"Gonzalez, A.J., Dankel, D.D.: The Engineering of Knowledge-Based Systems: Theory and Practice. Prentice Hall, Upper Saddle River (1993)"},{"key":"108_CR13","doi-asserted-by":"crossref","unstructured":"Lausen, G., Ludascher, B., May, W.: On Logical Foundations of Active Databases. In: Chomicki, J., Saake, G. (Eds.): Logics for Databases and Information Systems. Kluwer Academic (1998) 389-422","DOI":"10.1007\/978-1-4615-5643-5_12"},{"key":"108_CR14","unstructured":"Stefik, M.: Introduction to Knowledge Systems. Morgan Kaufmann Publishers, San Francisco (1995)"},{"key":"108_CR15","unstructured":"Pnueli, A.: Specification and Development of Reactive Systems. In: Kugler, H.-J. (Ed.): Information Processing 86. IFIP, North-Holland (1986) 845-858"},{"key":"108_CR16","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, Vol. 1. Computer Science Press (1988)"},{"key":"108_CR17","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems: The New Technologies, Vol. 2. Computer Science Press (1989)"},{"key":"108_CR18","unstructured":"Venema, Y.: Temporal Logic. In: Goble, L. (ed.): The Blackwell Guide to Philosophical Logic, Blackwell, Oxford (2001) 203-223"},{"key":"108_CR19","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems. Morgan Kaufmann (1996) 1-41"},{"key":"108_CR20","unstructured":"Wos, L.: Automated Reasoning: 33 Basic Research Problems. Prentice-Hall (1988)"}],"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\/11552413_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:01:39Z","timestamp":1619506899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11552413_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540288947","9783540319832"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11552413_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}