Model-based fault diagnosis: knowledge acquisition and system design
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
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
Teaching a graduate expert systems course
ACM SIGCSE Bulletin
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
Evaluation of expert system testing methods
Communications of the ACM
A proposed methodology for knowledge based systems development
ACM SIGSOFT Software Engineering Notes
Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Reliability Testing of Rule-Based Systems
IEEE Software
Implementation of Rule-Based Information Systems for Integrated Manufacturing
IEEE Transactions on Knowledge and Data Engineering
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
Quasi-Acyclic Propositional Horn Knowledge Bases: Optimal Compression
IEEE Transactions on Knowledge and Data Engineering
Testing Expert Systems in Process Control
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
A High-Level Petri Nets-Based Approach to Verifying Task Structures
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
Validating an Embedded Intelligent Sensor Control System
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
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
An Expert System for Ironmaking
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Combining both a fuzzy inductive learning and a fuzzy repertory grid method
Technologies for constructing intelligent systems
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
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
Rule identification from web pages by the XRML approach
Decision Support Systems
A strategy for evaluating a fuzzy case-based construction procurement selection system
Advances in Engineering Software
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
A strategy for evaluating a fuzzy case-based construction procurement selection system
Advances in Engineering Software
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Rule identification from Web pages by the XRML approach
Decision Support Systems
Journal of Visual Languages and Computing
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Artificial Intelligence in Medicine
Knowledge-based verification of clinical guidelines by detection of anomalies
Artificial Intelligence in Medicine
An arithmetic method to determine the most suitable planting dates for vegetables
Computers and Electronics in Agriculture
A prediction framework based on contextual data to support Mobile Personalized Marketing
Decision Support Systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - FUZZYSS'2011: 2nd International Fuzzy Systems Symposium
Hi-index | 0.03 |