{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:58:12Z","timestamp":1725469092978},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540232451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32370-8_20","type":"book-chapter","created":{"date-parts":[[2006,8,12]],"date-time":"2006-08-12T16:23:20Z","timestamp":1155399800000},"page":"273-279","source":"Crossref","is-referenced-by-count":2,"title":["Circularity in Rule Knowledge Bases Detection using Decision Unit Approach"],"prefix":"10.1007","author":[{"given":"Roman","family":"Simi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alicja","family":"Wakulicz-Deja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"W.R. Adrion","year":"1982","unstructured":"Adrion W.R., Branstad M.A., Cherniavsky J.C., 1982, Validation, verification and testing of computer software, ACM Computing Surveys, June, 14(2) pp. 159\u2013192.","journal-title":"ACM Computing Surveys"},{"key":"20_CR2","first-page":"203","volume-title":"Proceedings of the IIS VII","author":"R. Simi\u0144ski","year":"1998","unstructured":"Simi\u0144ski R., Wakulicz-Deja A. (1998) A., Principles and Practice in Knowledge Bases Verification, Proceedings of the IIS VII, Intelligent Information Systems, Poland, Malbork, 15\u201319.06.1998, pp. 203\u2013211."},{"key":"20_CR3","unstructured":"Simi\u0144ski R. (1998), Methods and Tools for Knowledge Bases Verification and Validation, Proceedings of CAI\u201998 \u2014 Colloquia in Artificial Intelligence, 28\u201330.9.1998, Lodz, Poland."},{"key":"20_CR4","unstructured":"Simi\u0144ski R., Wakulicz-Deja A. (1998), Principles and Practice in Knowledge Bases Verification, Proceedings of IIS\u201998 \u2014 Intelligent Information Systems VII, 15\u201319.6.1998, Malbork, Poland."},{"key":"20_CR5","unstructured":"Simi\u0144ski R., Wakulicz-Deja A. (1999), Dynamic Verification Of Knowledge Bases, Proceedings of IIS\u201999, Intelligent Information Systems VIII, 14\u201318.6.1999, Ustron, Poland."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Simi\u0144ski R., Wakulicz-Deja A. (2000), Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.","DOI":"10.1007\/978-3-7908-1846-8_17"},{"key":"20_CR7","first-page":"553","volume-title":"Proceedings of Intelligent Information Systems Intelligent: Information Processing and Web Mining, 272-5.6.2003","author":"R. Simi\u0144ski","year":"2003","unstructured":"Simi\u0144ski R., Wakulicz-Deja A. (2003), Decision units as a tool for rule base modeling and verification, Proceedings of Intelligent Information Systems Intelligent: Information Processing and Web Mining, 272-5.6.2003, Zakopane, Polska, Advances in Soft Computing, Physica-Verlag, Springer Verlag Company, 2003, pp. 553\u2013556."},{"key":"20_CR8","unstructured":"Preece A.D. (1991), Methods for Verifying Expert System Knowledge Base, apreece@csd.abdn.ac.uk."},{"key":"20_CR9","unstructured":"Preece A.D. (1991a), Verifying expert system knowledge bases: An example, apreece@csd.abdn.ac.uk."},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"A.D. Preece","year":"1994","unstructured":"Preece A.D. (1994). Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems, 9 pp. 683\u2013701","journal-title":"International Journal of Intelligent Systems"},{"key":"20_CR11","unstructured":"Preece A.D. Batarekh A. Shinghal R. (1990) Verifing Rule-Based Systems, apreece@csd.abdn.ac.uk."},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S026988890000624X","volume":"7","author":"A.D. Preece","year":"1992","unstructured":"Preece A.D., Shinghal R., Batarekh A. (1992), Principles and Practices in Verifing Rule-Based Systems, Knowledge Engineering Review, vol. 7, no. 2, pp. 115\u2013141, apreece@csd.abdn.ac.uk","journal-title":"Knowledge Engineering Review"}],"container-title":["Advances in Soft Computing","Monitoring, Security, and Rescue Techniques in Multiagent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32370-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:09Z","timestamp":1605646389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32370-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540232451"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-32370-8_20","relation":{},"subject":[]}}