A G-Net Model for Knowledge Representation and Reasoning.

@article{DBLP:journals/tkde/DengC90,
  author    = {Yi Deng and
               Shi-Kuo Chang},
  title     = {A G-Net Model for Knowledge Representation and Reasoning},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {2},
  number    = {3},
  year      = {1990},
  pages     = {295-310},
  ee        = {db/journals/tkde/DengC90.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1990 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-2 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]

...

[2]

Ronald J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer 16(10): 30-36(1983)

[3]

...

[4]

...

[5]

Shi-Kuo Chang, Wu-Lung Chan: Transformation and Verification of Office Procedures. IEEE Trans. Software Eng. 11(8): 724-734(1985)

[6]

...

[7]

...

[8]

...

[9]

...

[10]

James L. Peterson: Petri Nets. ACM Comput. Surv. 9(3): 223-252(1977)

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

[17]

...

[18]

...