On the relations between stable and well-founded semantics of logic programs (Q1200977)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the relations between stable and well-founded semantics of logic programs |
scientific article; zbMATH DE number 96001
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the relations between stable and well-founded semantics of logic programs |
scientific article; zbMATH DE number 96001 |
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
