ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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.


Joint ACM SIGMOD / IEEE Computer Society Anthology

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

  1. 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