High-Level Petri Net Model of Logic Program with Negation.
Liwu Li:
High-Level Petri Net Model of Logic Program with Negation.
IEEE Trans. Knowl. Data Eng. 6(3): 382-395(1994)@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}
}
BibTeX
Abstract
Copyright © 1994 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
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]
- 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
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:28:03 2009