CHECKER: an efficient algorithm for knowledge base verification
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
The consistency problem of knowledge bases
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Are complete K-trees something more than decision trees?
ACM SIGART Bulletin
Validation: the key concept in maintenance of legal KBS
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Developing legal knowledge based systems using decision tables
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
Communications of the ACM
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Reliability Testing of Rule-Based Systems
IEEE Software
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Using Directed Hypergraphs to Verify Rule-Based Expert Systems
IEEE Transactions on Knowledge and Data Engineering
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Interactive Verification of Knowledge-Based Systems
IEEE Expert: Intelligent Systems and Their Applications
UVT: A Unification-Based Tool for Knowledge Base Verification
IEEE Expert: Intelligent Systems and Their Applications
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
IEEE Transactions on Knowledge and Data Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Restructuring decision tables for elucidation of knowledge
Data & Knowledge Engineering
Estimating the CPU utilization of a rule-based system
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Theory and algorithm for rule base refinement
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Improving the knowledge performance using "Ternary grid" knowledge acquisition and model
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Conflicting treatment model for certainty rule-based knowledge
Expert Systems with Applications: An International Journal
A note on backward dual resolution and its application to proving completeness of rule-based systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Developing a marketing decision model using a knowledge-based system
Knowledge-Based Systems
Very fast decision table execution of propositional expert systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Verification of multi-level rule-based expert systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Comprehensibility improvement of tabular knowledge bases
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
| Hi-index | 0.02 |