{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T19:10:05Z","timestamp":1750014605383,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319544717"},{"type":"electronic","value":"9783319544724"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-54472-4_38","type":"book-chapter","created":{"date-parts":[[2017,2,25]],"date-time":"2017-02-25T08:23:30Z","timestamp":1488011010000},"page":"400-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Creative Expert System: Comparison of Proof Searching Strategies"],"prefix":"10.1007","author":[{"given":"Bartlomiej","family":"Sniezynski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Legien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorota","family":"Wilk-Ko\u0142odziejczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stanislawa","family":"Kluska-Nawarecka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward","family":"Nawarecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Ja\u015bkowiec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,26]]},"reference":[{"unstructured":"Alkharouf, N.W., Michalski, R.S.: Multistrategy task-adaptive learning using dynamically interlaced hierarchies. In: Michalski, R.S., Wnek, J. (eds.) Proceedings of the Third International Workshop on Multistrategy Learning (1996)","key":"38_CR1"},{"unstructured":"Althoff, K., Bach, K., Deutch, J., Hanft, A., Manz, J., Muller, T., Newo, R., Reichle, M., Schaaf, M., Weis, K.: Collaborative multi-expert-systems realizing knowledge-lines with case factories and distributed learning systems. In: Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (2007)","key":"38_CR2"},{"issue":"2","key":"38_CR3","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1109\/69.88000","volume":"3","author":"BT Low","year":"1991","unstructured":"Low, B.T., Lui, H.C., Tan, A.H., Teh, H.H.: Connectionist expert system with adaptive learning capability. IEEE Trans. Knowl. Data Eng. 3(2), 200\u2013207 (1991)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"unstructured":"Collins, A.: Human plausible reasoning. Technical Report 3810, Bolt Beranek and Newman Inc. (1978)","key":"38_CR4"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/s15516709cog1301_1","volume":"13","author":"A Collins","year":"1989","unstructured":"Collins, A., Michalski, R.S.: The logic of plausible reasoning: A core theory. Cogn. Sci. 13, 1\u201349 (1989)","journal-title":"Cogn. Sci."},{"key":"38_CR6","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.ins.2014.10.015","volume":"295","author":"R Drezewski","year":"2015","unstructured":"Drezewski, R., Sepielak, J., Filipkowski, W.: The application of social network analysis algorithms in a system supporting money laundering detection. Inf. Sci. 295, 18\u201332 (2015)","journal-title":"Inf. Sci."},{"unstructured":"Gabbay, D.M.: LDS - Labeled Deductive Systems. Oxford University Press (1991)","key":"38_CR7"},{"key":"38_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32446-1","volume-title":"Logical Foundations for Rule-Based Systems","author":"A Ligeza","year":"2006","unstructured":"Ligeza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Michalski, R.S.: Inferential theory of learning: Developing foundations for multistrategy learning. In: Michalski, R.S. (ed.) Machine Learning: A Multistrategy Approach, Vol. IV. Morgan Kaufmann Publishers (1994)","key":"38_CR9","DOI":"10.1007\/978-1-4615-3202-6"},{"unstructured":"Michalski, R.S., Larson, J.: Aqval\/1 (aq7) user\u2019s guide and program description. Technical Report 731, Department of Computer Science, University of Illinois, Urbana, June 1975","key":"38_CR10"},{"issue":"110\u2013111","key":"38_CR11","first-page":"257","volume":"28","author":"CG Morgan","year":"1985","unstructured":"Morgan, C.G.: Autologic. Logique et Anal. 28(110\u2013111), 257\u2013282 (1985)","journal-title":"Logique et Anal."},{"unstructured":"Neapolitan, R.E.: Probabilistic Reasoning in Expert Systems: Theory and Algorithms. CreateSpace Independent Publishing Platform, USA (2012)","key":"38_CR12"},{"key":"38_CR13","volume-title":"C4.5: Programs for Machine Learning","author":"J Quinlan","year":"1993","unstructured":"Quinlan, J.: C4.5: Programs for Machine Learning. Morgan Kaufmann, San Francisco (1993)"},{"key":"38_CR14","series-title":"Advances in Soft Computing","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-540-36562-4_41","volume-title":"Intelligent Information Processing and Web Mining","author":"B Sniezynski","year":"2003","unstructured":"Sniezynski, B.: Proof searching algorithm for the logic of plausible reasoning. In: K\u0142opotek, M.A., Wierzcho\u0144, S.T., Trojanowski, K. (eds.) Intelligent Information Processing and Web Mining. AINSC, pp. 393\u2013398. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-36562-4_41"},{"key":"38_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-319-44403-1_16","volume-title":"Database and Expert Systems Applications","author":"B Sniezynski","year":"2016","unstructured":"Sniezynski, B., Legien, G., Wilk-Ko\u0142odziejczyk, D., Kluska-Nawarecka, S., Nawarecki, E., Ja\u015bkowiec, K.: Creative expert system: Result of inference and machine learning integration. In: Hartmann, S., Ma, H. (eds.) DEXA 2016. LNCS, vol. 9827, pp. 257\u2013271. Springer, Cham (2016). doi:10.1007\/978-3-319-44403-1_16"},{"doi-asserted-by":"crossref","unstructured":"Sniezynski, B., Wilk-Ko\u0142odziejczyk, D., Legien, G., Kluska-Nawarecka, S., Nawarecki, E.: Reasoning algorithm for a creative decision support system integrating inference and machine learning. Submitted to International Journal of Applied Mathematics and Computer Science (2016)","key":"38_CR16","DOI":"10.1007\/978-3-319-44403-1_16"},{"doi-asserted-by":"crossref","unstructured":"Szydlo, T., Nawrocki, P., Brzoza-Woch, R., Zielinski, K.: Power aware MOM for telemetry-oriented applications using gprs-enabled embedded devices - levee monitoring use case. In: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. vol. 2, pp. 1059\u20131064. IEEE, September 2014","key":"38_CR17","DOI":"10.15439\/2014F252"},{"doi-asserted-by":"crossref","unstructured":"Tran, L.P., Hancock, J.P.: An adaptive-learning expert system for maintenance diagnostics. In: Proceedings of the IEEE 1989 National Aerospace and Electronics Conference, NAECON 1989, vol. 3, pp. 1034\u20131039, May 1989","key":"38_CR18","DOI":"10.1109\/NAECON.1989.40337"},{"doi-asserted-by":"crossref","unstructured":"Wiriyacoonkasem, S., Esterline, A.C.: Adaptive learning expert systems. In: Proceedings of the IEEE Southeastcon 2000, pp. 445\u2013448. IEEE (2000)","key":"38_CR19","DOI":"10.1109\/SECON.2000.845609"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54472-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T18:56:47Z","timestamp":1750013807000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-54472-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319544717","9783319544724"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54472-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"26 February 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ACIIDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Conference on Intelligent Information and Database Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kanazawa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aciids2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aciids.pwr.edu.pl\/2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}