Investigating the Applicability of Petri Nets for Rule-Based System Verification.
Derek L. Nazareth:
Investigating the Applicability of Petri Nets for Rule-Based System Verification.
IEEE Trans. Knowl. Data Eng. 5(3): 402-415(1993)@article{DBLP:journals/tkde/Nazareth93,
author = {Derek L. Nazareth},
title = {Investigating the Applicability of Petri Nets for Rule-Based
System Verification},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {5},
number = {3},
year = {1993},
pages = {402-415},
ee = {db/journals/tkde/Nazareth93.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1993 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
References
- [1]
- ...
- [2]
- Ritu Agarwal, Mohan Tanniru:
A Petri-Net Based Approach for Verifying the Integrity of Production Systems.
International Journal of Man-Machine Studies 36(3): 447-468(1992) BibTeX
- [3]
- ...
- [4]
- Jean-Loup Baer, Carla Schlatter Ellis:
Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment.
IEEE Trans. Software Eng. 3(6): 394-405(1977) BibTeX
- [5]
- ...
- [6]
- ...
- [7]
- B. Chandrasekaran:
On Evaluating Artificial Intelligence Systems for Medical Diagnosis.
AI Magazine 4(2): 34-37, 48(1983) BibTeX
- [8]
- William J. Clancey:
Heuristic Classification.
Artif. Intell. 27(3): 289-350(1985) BibTeX
- [9]
- ...
- [10]
- Brian J. Cragun, Harold J. Steudel:
A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems.
International Journal of Man-Machine Studies 26(5): 633-648(1987) BibTeX
- [11]
- ...
- [12]
- ...
- [13]
- ...
- [14]
- ...
- [15]
- ...
- [16]
- Hartmann J. Genrich, Kurt Lautenbach:
Facts in Place/Transition-Nets.
MFCS 1978: 213-231 BibTeX
- [17]
- ...
- [18]
- ...
- [19]
- Frederick Hayes-Roth:
Rule-Based Systems.
Commun. ACM 28(9): 921-932(1985) BibTeX
- [20]
- ...
- [21]
- ...
- [22]
- ...
- [23]
- ...
- [24]
- ...
- [25]
- ...
- [26]
- ...
- [27]
- ...
- [28]
- ...
- [29]
- ...
- [30]
- ...
- [31]
- Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama:
A Petri Net Model for Reasoning in the Presence of Inconsistency.
IEEE Trans. Knowl. Data Eng. 3(3): 281-292(1991) BibTeX
- [32]
- Tadao Murata, Du Zhang:
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.
IEEE Trans. Software Eng. 14(4): 481-497(1988) BibTeX
- [33]
- ...
- [34]
- Derek L. Nazareth:
Issues in the Verification of Knowledge in Rule-Based Systems.
International Journal of Man-Machine Studies 30(3): 255-271(1989) BibTeX
- [35]
- ...
- [36]
- Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora:
Checking an Expert Systems Knowledge Base for Consistency and Completeness.
IJCAI 1985: 375-378 BibTeX
- [37]
- Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora:
Knowledge-Base Verification.
AI Magazine 8(2): 69-75(1987) BibTeX
- [38]
- ...
- [39]
- ...
- [40]
- George Peterka, Tadao Murata:
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.
IEEE Trans. Software Eng. 15(2): 209-217(1989) BibTeX
- [41]
- James L. Peterson:
Petri Nets.
ACM Comput. Surv. 9(3): 223-252(1977) BibTeX
- [42]
- ...
- [43]
- ...
- [44]
- ...
- [45]
- ...
- [46]
- Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe:
An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System.
AI Magazine 3(4): 16-21(1982) BibTeX
- [47]
- ...
- [48]
- ...
- [49]
- ...
- [50]
- ...
Referenced by
- Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen:
Using Directed Hypergraphs to Verity Rule-Based Expert Systems.
IEEE Trans. Knowl. Data Eng. 9(2): 221-237(1997)
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:45 2009