KJ3—a tool assisting formal validation of knowledge-based systems-Reference-Cited by-同舟云学术

KJ3—a tool assisting formal validation of knowledge-based systems

Published:2002-05 Issue:5 Volume:56 Page:495-524
ISSN:1071-5819
Container-title:International Journal of Human-Computer Studies
language:en
Short-container-title:International Journal of Human-Computer Studies

Author:

WU CHIH-HUNG,LEE SHIE-JUE

Publisher

Elsevier BV

Subject

Hardware and Architecture,Human-Computer Interaction,General Engineering,Education,Human Factors and Ergonomics,Software

Reference66 articles.

1. Verification of accuracy of rules in a rule based system;ANANTARAM;Data & Knowledge Engineering,1998

2. On the verification of modular logical knowledge bases;ANTONIOU;Expert Systems with Applications,1995

3. BASTIDE, R. 1995, Approaches in unifying Petri nets and the object-oriented approach, Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, http://wrcm.dsi.unimi.it/PetriLab/ws95/abstract/proc9502.html

4. BENCH-CAPON, T. 1998, The role of ontologies in the verification and validation of knowledge based systems, Proceedings of the 9th International Workshop on Database and Expert Systems Applications, 64, 69

5. Automated Deduction: A Basis for Applications;BIBEL,1998

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

1. A survey on artificial intelligence assurance;Journal of Big Data;2021-04-26

2. Validation of knowledge-based systems: a reassessment of the field;Artificial Intelligence Review;2013-01-31

3. Manufacturing knowledge verification in design support systems;International Journal of Production Research;2009-04-23

4. On automatic knowledge validation for Bayesian knowledge bases;Data & Knowledge Engineering;2008-01