Logical Inference of Horn Clauses in Petri Net Models.

@article{DBLP:journals/tkde/LinCWM93,
  author    = {Chuang Lin and
               A. Chaudhary and
               Andrew B. Whinston and
               Dan C. Marinescu},
  title     = {Logical Inference of Horn Clauses in Petri Net Models},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {3},
  year      = {1993},
  pages     = {416-425},
  ee        = {db/journals/tkde/LinCWM93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX

[2]

...

[3]

Martin Davis, Hilary Putnam: A Computing Procedure for Quantification Theory. J. ACM 7(3): 201-215(1960) BibTeX

[4]

...

[5]

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Elements of General Net Theory. Advanced Course: Net Theory and Applications 1975: 21-163 BibTeX

[6]

...

[7]

...

[8]

...

[9]

...

[10]

...

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

[17]

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

[18]

...

[19]

Judea Pearl: Fusion, Propagation, and Structuring in Belief Networks. Artif. Intell. 29(3): 241-288(1986) BibTeX

[20]

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

[21]

...

[22]

...