Foundations of logic programming
Foundations of logic programming
Petri nets: an introduction
Modeling production rules by means of predicate transition networks
Information Sciences: an International Journal
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Fuzzy Petri nets for rule-based decisionmaking
IEEE Transactions on Systems, Man and Cybernetics
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Paraconsistent logic programming
Theoretical Computer Science
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Software engineering process support based on fuzzy imploding Petri nets
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
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
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
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
Automated deduction for many-valued logics
Handbook of automated reasoning
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
DECISION SUPPORT WITH LOGICAL AND FUZZY PETRI NETS
Cybernetics and Systems
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Prognosis: a wearable health-monitoring system for people at risk: methodology and modeling
IEEE Transactions on Information Technology in Biomedicine - Special section on new and emerging technologies in bioinformatics and bioengineering
| Hi-index | 0.00 |
Petri nets provide a promising framework for executing queries to logic programs. Petri net models for query processing in logic programming were initially developed by T. Murata and D. Zhang (IEEE Trans. Software Eng., vol.14, no.4, p.481-97, 1988). It is shown how this framework can be extended to be applicable to reasoning in the presence of inconsistency. This yields a Petri net model of programs that be inconsistent in classical logic. This is interesting because large expert systems may often contain inconsistent information. The Petri net method proposed suggests a robust way of preventing inconsistency from infecting a system and rendering it useless.