{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:02:52Z","timestamp":1725987772425},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319984452"},{"type":"electronic","value":"9783319984469"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-98446-9_25","type":"book-chapter","created":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T07:37:47Z","timestamp":1533627467000},"page":"268-278","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Experimental Implementation of Web-Based Knowledge Base Verification Module"],"prefix":"10.1007","author":[{"given":"Roman","family":"Simi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agnieszka","family":"Nowak-Brzezi\u0144ska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Simi\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,8]]},"reference":[{"key":"25_CR1","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-28567-2_9","volume-title":"Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2015 \u2013 Part IV","author":"R Simi\u0144ski","year":"2016","unstructured":"Simi\u0144ski, R., Nowak-Brzezi\u0144ska, A.: Goal-driven inference for web knowledge based system. In: Wilimowska, Z., Borzemski, L., Grzech, A., \u015awi\u0105tek, J. (eds.) Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2015 \u2013 Part IV. AISC, vol. 432, pp. 99\u2013109. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-28567-2_9"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-45246-3_47","volume-title":"Computational Collective Intelligence","author":"R Simi\u0144ski","year":"2016","unstructured":"Simi\u0144ski, R., Nowak-Brzezi\u0144ska, A.: KBExplorator and KBExpertLib as the tools for building medical decision support systems. In: Nguyen, N.-T., Manolopoulos, Y., Iliadis, L., Trawi\u0144ski, B. (eds.) ICCCI 2016. LNCS (LNAI), vol. 9876, pp. 494\u2013503. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-45246-3_47"},{"key":"25_CR3","unstructured":"Preece, A.: Methods for verifying expert system knowledge bases. Report for Bell Canada, Centre for Pattern Recognition and Machine Intelligence, Concordia University Canada (1991)"},{"issue":"8","key":"25_CR4","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"AD Preece","year":"1994","unstructured":"Preece, A.D., Shinghal, R.: Foundation and application of knowledge base verification. Int. J. Intell. Syst. 9(8), 683\u2013701 (1994)","journal-title":"Int. J. Intell. Syst."},{"issue":"2","key":"25_CR5","first-page":"69","volume":"8","author":"TA Nguyen","year":"1987","unstructured":"Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge-base verification. AI Mag. 8(2), 69\u201375 (1987)","journal-title":"AI Mag."},{"key":"25_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6916-6","volume-title":"Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice","author":"A Vermesan","year":"2013","unstructured":"Vermesan, A., Coenen, F.: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice. Springer, Boston (2013). \nhttps:\/\/doi.org\/10.1007\/978-1-4757-6916-6"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-88808-6_4","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"V Zacharias","year":"2008","unstructured":"Zacharias, V.: Development and verification of rule based systems\u2014a survey of developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 6\u201316. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-88808-6_4"},{"issue":"3","key":"25_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/64.215222","volume":"8","author":"T Hoppe","year":"1993","unstructured":"Hoppe, T., Meseguer, P.: VVT terminology: a proposal. IEEE Expert 8(3), 48\u201355 (1993)","journal-title":"IEEE Expert"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00849196","volume":"7","author":"RM O\u2019Keefe","year":"1993","unstructured":"O\u2019Keefe, R.M., O\u2019Leary, D.E.: Expert system verification and validation: a survey and tutorial. Artif. Intell. Rev. 7(1), 3\u201342 (1993)","journal-title":"Artif. Intell. Rev."},{"key":"25_CR10","unstructured":"Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In: AAAI, vol. 88, pp. 21\u201326 (1988)"},{"issue":"4","key":"25_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/S1042-8143(05)80024-X","volume":"3","author":"DL Nazareth","year":"1991","unstructured":"Nazareth, D.L., Kennedy, M.H.: Verification of rule-based knowledge using directed graphs. Knowl. Acquis. 3(4), 339\u2013360 (1991)","journal-title":"Knowl. Acquis."},{"key":"25_CR12","unstructured":"Valiente, G.: Knowledge base verification using algebraic graph transformations. Ph.D. thesis, University of the Balearic Islands (1994)"},{"issue":"3","key":"25_CR13","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/69.224193","volume":"5","author":"DL Nazareth","year":"1993","unstructured":"Nazareth, D.L.: Investigating the applicability of petri nets for rule-based system verification. IEEE Trans. Knowl. Data Eng. 5(3), 402\u2013415 (1993)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"10","key":"25_CR14","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1016\/S0950-5849(03)00058-2","volume":"45","author":"X He","year":"2003","unstructured":"He, X., Chu, W.C., Yang, H.: A new approach to verify rule-based systems using petri nets. Inf. Softw. Technol. 45(10), 663\u2013669 (2003)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"25_CR15","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1093\/comjnl\/43.3.206","volume":"43","author":"SM Koriem","year":"2000","unstructured":"Koriem, S.M.: A fuzzy petri net tool for modeling and verification of knowledge-based systems. Comput. J. 43(3), 206\u2013223 (2000)","journal-title":"Comput. J."},{"issue":"4","key":"25_CR16","first-page":"16","volume":"3","author":"M Suwa","year":"1982","unstructured":"Suwa, M., Scott, A.C., Shortliffe, E.H.: An approach to verifying completeness and consistency in a rule-based expert system. AI Mag. 3(4), 16 (1982)","journal-title":"AI Mag."},{"key":"25_CR17","unstructured":"Stachowitz, R.A., Combs, J.B.: Validation of expert systems. In: Proceedings of the 20th Annual Hawaii International Conference on System Sciences, vol. 1, 686\u2013695 (1987)"},{"issue":"2","key":"25_CR18","first-page":"163","volume":"6","author":"P Meseguer","year":"1993","unstructured":"Meseguer, P., Verdaguer, A.: Verification of multi-level rule-based expert systems: theory and practice. Int. J. Expert Syst. 6(2), 163\u2013192 (1993)","journal-title":"Int. J. Expert Syst."},{"key":"25_CR19","unstructured":"Michalik, K., Simi\u0144ski, R.: The hybrid architecture of the AI software package sphinx. In: Proceedings of International Conference: Colloquia in Artificial Intelligence CAI, vol. 98, pp. 210\u2013219 (1998)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/978-3-540-25929-9_91","volume-title":"Rough Sets and Current Trends in Computing","author":"R Siminski","year":"2004","unstructured":"Siminski, R., Wakulicz-Deja, A.: Application of decision units in knowledge engineering. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 721\u2013726. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-25929-9_91"},{"key":"25_CR21","unstructured":"Kaczor, K., Nalepa, G.J.: Hades-presentation of the HeKatE design environment. In: 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence, Paderborn, Germany, September, vol. 15, pp. 57\u201362 (2009)"},{"key":"25_CR22","unstructured":"Nalepa, G.J., Ligeza, A.: Prolog-based analysis of tabular rule-based systems with XTT approach. In: FLAIRS Conference, pp. 426\u2013431 (2006)"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-22546-8_27","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"GJ Nalepa","year":"2011","unstructured":"Nalepa, G.J., Bobek, S., Lig\u0119za, A., Kaczor, K.: HalVA - rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011. LNCS, vol. 6826, pp. 337\u2013344. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22546-8_27"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/978-3-540-36562-4_60","volume-title":"Intelligent Information Processing and Web Mining","author":"R Simi\u0144ski","year":"2003","unstructured":"Simi\u0144ski, R., Wakulicz-Deja, A.: Decision units as a tool for rule base modeling and verification. In: K\u0142opotek, M.A., Wierzcho\u0144, S.T., Trojanowski, K. (eds.) Intelligent Information Processing and Web Mining, pp. 553\u2013556. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-540-36562-4_60"},{"key":"25_CR25","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-319-23437-3_40","volume-title":"Man-Machine Interactions 4","author":"R Simi\u0144ski","year":"2016","unstructured":"Simi\u0144ski, R.: Multivariate approach to modularization of the rule knowledge bases. In: Gruca, A., Brachman, A., Kozielski, S., Czach\u00f3rski, T. (eds.) Man-Machine Interactions 4, pp. 473\u2013483. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23437-3_40"}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98446-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,7]],"date-time":"2018-08-07T07:47:02Z","timestamp":1533628022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98446-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319984452","9783319984469"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98446-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}