Verification of Rule Knowledge Bases Using Decision Units-Reference-Cited by-同舟云学术

Verification of Rule Knowledge Bases Using Decision Units

Published:2000 Issue: Volume: Page:185-191
ISSN:
Container-title:Intelligent Information Systems
language:
Short-container-title:

Author:

Siminski Roman,Wakulicz-Deja Alicja

Publisher

Physica-Verlag HD

Link

http://link.springer.com/content/pdf/10.1007/978-3-7908-1846-8_17.pdf

Reference4 articles.

1. Adrion W.R., Branstad M.A., Cherniaysky J.C., 1982, „Validation, verification and testing of computer software“, ACM Computing Surveys, June, 14(2) pp. 159–192.

2. Siminski R. (1998), Methods and Tools for Knowledge Bases Verification and Validation, Proceedings of the CAI98, Colloquia in Artificial Intelligence, 28–30.09. 1998, Poland, Lódi, pp. 273–291.

3. Siminski R., Wakulicz-Deja A. (1998) A., Principles and Practice in Knowledge Bases Verification, Proceedings of the IIS VII, Intelligent Information Systems, Poland, Malbork, 15–19. 06. 1998, pp. 203–211.

4. Siminski R., Wakulicz-Deja A. (1999) A., dynamic Verification of Knowledge Bases,, Proceedings of the IIS VIII, Intelligent Information Systems, Poland, Ustron, 14–18. 06. 1999, pp. 327–331.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Knowledge Mining Approach for Optimization of Inference Processes in Rule Knowledge Bases;On the Move to Meaningful Internet Systems: OTM 2012 Workshops;2012

2. Application of Decision Units in Knowledge Engineering;Rough Sets and Current Trends in Computing;2004

3. Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task;Advances in Soft Computing

4. Circularity in Rule Knowledge Bases Detection using Decision Unit Approach;Advances in Soft Computing

5. Towards Modular Representation of Knowledge Base;Advances in Soft Computing