Modeling production rules by means of predicate transition networks
Information Sciences: an International Journal
AI Magazine
International Journal of Man-Machine Studies
Fuzzy Petri nets for rule-based decisionmaking
IEEE Transactions on Systems, Man and Cybernetics
Control of inconsistency and redundancy in Prolog-type knowledge bases
Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
Issues in the verification of knowledge in rule-based systems
International Journal of Man-Machine Studies
Introduction to algorithms
Evaluating decision support and expert systems
Evaluating decision support and expert systems
A Petri-Net based approach for verifying the integrity of production systems
International Journal of Man-Machine Studies
Algorithms in C++
Computation as logic
Logic for applications
Fundamentals of algorithmics
Finding Two Disjoint Paths Between Two Pairs of Vertices in a Graph
Journal of the ACM (JACM)
The Science of Programming
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Hi-index | 0.00 |