High-Level Petri Net Model of Logic Program with Negation.

@article{DBLP:journals/tkde/Li94,
  author    = {Liwu Li},
  title     = {High-Level Petri Net Model of Logic Program with Negation},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {3},
  year      = {1994},
  pages     = {382-395},
  ee        = {db/journals/tkde/Li94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

...

[2]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[3]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[4]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[5]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[6]

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597 BibTeX

[7]

Attilio Giordana, Lorenza Saitta: Modelling Production Systems by means of Predicate-Transitions Networks. Inf. Sci. 35(1): 1-41(1985) BibTeX

[8]

Robert A. Kowalski: Predicate Logic as Programming Language. IFIP Congress 1974: 569-574 BibTeX

[9]

...

[10]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[11]

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX

[12]

Robert C. Moore: Semantical Considerations on Nonmonotonic Logic. Artif. Intell. 25(1): 75-94(1985) BibTeX

[13]

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

[14]

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

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

Teodor C. Przymusinski: Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. PODS 1989: 11-21 BibTeX

[17]

...

[18]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[19]

Kenneth A. Ross: A Procedural Semantics for Well Founded Negation in Logic Programs. PODS 1989: 22-33 BibTeX

[20]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX