Foundations of logic programming
Foundations of logic programming
Introduction to logic programming
Introduction to logic programming
Modeling production rules by means of predicate transition networks
Information Sciences: an International Journal
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
Delta Prolog: a distributed backtracking extension with events
Proceedings on Third international conference on logic programming
Parallel execution of logic programs
Parallel execution of logic programs
Principles of artificial intelligence
Principles of artificial intelligence
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Communications of the ACM
Communications of the ACM
State-space problem-reduction, and theorem proving—some relationships
Communications of the ACM
Principles of Database Systems
Principles of Database Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Logic for Problem Solving
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Handbook of AI
How to Find Invariants for Coloured Petri Nets
Proceedings on Mathematical Foundations of Computer Science
Elements of General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
On the invariants of coloured Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
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
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic
IEEE Transactions on Knowledge and Data Engineering
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
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
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Analyzing Non-determinism in Telecommunication Services Using P-invariant of Petri-Net Model
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
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
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Sufficient Condition for Reachability in a General Petri Net
Discrete Event Dynamic Systems
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
Expert Systems with Applications: An International Journal
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
Automatic Web service composition based on Horn clauses and Petri nets
Expert Systems with Applications: An International Journal
Reduced MDP representation of a logistical planning problem using petri-nets
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Design of a high speed logic engine for distributed decision support systems
Intelligent Decision Technologies
| Hi-index | 0.02 |
This paper presents a predicate/transition net model for a subset of Horn clause logic programs. The paper discusses the syntax, transformation procedure, semantics. and deduction process for the net model. A possible parallel implementation for the net model is described, which is based on the concepts of communicating processes and relations. The proposed net model offers a syntactical variant of Horn clause logic and has two distinctions from other existing schemes for the logic programs: representation formalism and the deduction method. The significance of the work is that the net model provides an approach towards the solutions of the separation of logic from control and the improvement of the execution efficiency through parallel processing for the logic programs. The abstract nature of the net model also lends itself to differentimplementation strategies.