Foundations of logic programming
Foundations of logic programming
Principles of artificial intelligence
Principles of artificial intelligence
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
How to Find Invariants for Coloured Petri Nets
Proceedings on Mathematical Foundations of Computer Science
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software 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
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
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Software Engineering
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Expert Systems with Applications: An International Journal
Logical reasoning and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Improving model-based diagnosis through algebraic analysis: the Petri net challenge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Automatic Web service composition based on Horn clauses and Petri nets
Expert Systems with Applications: An International Journal
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis
Autonomous Agents and Multi-Agent Systems
Design of a high speed logic engine for distributed decision support systems
Intelligent Decision Technologies
Hi-index | 0.01 |
A proof procedure and answer extraction in a high-level Petri net model of logic programs is discussed. The logic programs are restricted to the Horn clause subset of first-order predicate logic and finite problems. The logic program is modeled by a high-level Petri net and the execution of the logic program or the answer extraction process in predicate calculus corresponds to a firing sequence which fires the goal transition in the net. For the class of the programs described above, the goal transition is potentially firable if an only if there exists a nonnegative T-invariant which includes the goal transition in its support. This is the main result proved. Three examples are given to illustrate in detail the above results.