A uniform approach to logic programming semantics (Q4673541)
From MaRDI portal
scientific article; zbMATH DE number 2163133
Language | Label | Description | Also known as |
---|---|---|---|
English | A uniform approach to logic programming semantics |
scientific article; zbMATH DE number 2163133 |
Statements
A uniform approach to logic programming semantics (English)
0 references
29 April 2005
0 references
level mapping
0 references
Fitting semantics
0 references
well-founded semantics
0 references
least model seman tics
0 references
stable semantics
0 references
weak stratification
0 references