A Petri net semantics for logic programs with negation
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 292-299
- https://doi.org/10.1109/seke.1992.227976
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Petri net model for reasoning in the presence of inconsistencyIEEE Transactions on Knowledge and Data Engineering, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Every logic program has a natural stratification and an iterated least fixed point modelPublished by Association for Computing Machinery (ACM) ,1989
- A predicate-transition net model for parallel interpretation of logic programsIEEE Transactions on Software Engineering, 1988
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- A logic for default reasoningArtificial Intelligence, 1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976