On the relations between stable and well-founded semantics of logic programs (Q1200977)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the relations between stable and well-founded semantics of logic programs |
scientific article |
Statements
On the relations between stable and well-founded semantics of logic programs (English)
0 references
16 January 1993
0 references
The paper investigates the relationship between the stable and well- founded semantics of logic programs with negation. It is shown that both semantics can be defined in similar ways. It is shown that both semantics are equivalent for several classes of programs.
0 references
semantics
0 references
negation
0 references