A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Algorithms to detect chained-inference faults in information distribution systems
Proceedings of the 2001 ACM symposium on Applied computing
Developing virtual environments for industrial training
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
Knowledge Representation Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Weighted Fuzzy Reasoning Using Weighted Fuzzy Petri Nets
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
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Expert Systems with Applications: An International Journal
Validation and verification of decision making rules
Automatica (Journal of IFAC)
| Hi-index | 0.08 |