Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
Using Directed Hypergraphs to Verify Rule-Based Expert Systems
IEEE Transactions on Knowledge and Data Engineering
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
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
Interpretability constraints for fuzzy information granulation
Information Sciences: an International Journal
Validation and verification of decision making rules
Automatica (Journal of IFAC)
Improving the quality of rule-based applications using the declarative verification approach
International Journal of Knowledge Engineering and Data Mining
| Hi-index | 0.00 |