A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Using Directed Hypergraphs to Verify Rule-Based Expert Systems
IEEE Transactions on Knowledge and Data Engineering
Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
The no inference engine theory - Performing conflict resolution during development
Decision Support Systems
Hi-index | 0.00 |