A Petri Net Model for Reasoning in the Presence of Inconsistency.

@article{DBLP:journals/tkde/MurataSW91,
  author    = {Tadao Murata and
               V. S. Subrahmanian and
               Toshiro Wakayama},
  title     = {A Petri Net Model for Reasoning in the Presence of Inconsistency},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {3},
  number    = {3},
  year      = {1991},
  pages     = {281-292},
  ee        = {db/journals/tkde/MurataSW91.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1991 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]

Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. FSTTCS 1987: 340-360 BibTeX

[3]

...

[4]

...

[5]

...

[6]

...

[7]

...

[8]

Hartmann J. Genrich, Kurt Lautenbach: System Modelling with High-Level Petri Nets. Theor. Comput. Sci. 13: 109-136(1981) BibTeX

[9]

Hartmann J. Genrich, Gerda Thieler-Mevissen: The Calculus of Facts. MFCS 1976: 588-595 BibTeX

[10]

...

[11]

...

[12]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX

[13]

...

[14]

...

[15]

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

[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]

...

[20]

...

[21]

...

Referenced by

1. John Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259(1996)
2. Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü: An Executable Graphical Representation of Mediatory Information Systems. ICDE 1996: 124-131
3. Teruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162(1995)
4. John Grant, V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases. IEEE Trans. Knowl. Data Eng. 7(1): 177-189(1995)
5. Liwu Li: High-Level Petri Net Model of Logic Program with Negation. IEEE Trans. Knowl. Data Eng. 6(3): 382-395(1994)
6. Derek L. Nazareth: Investigating the Applicability of Petri Nets for Rule-Based System Verification. IEEE Trans. Knowl. Data Eng. 5(3): 402-415(1993)