A uniform approach to logic programming semantics (Q4673541)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 2163133
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.838246762752533
0 references
0.8364553451538086
0 references
0.8151016235351562
0 references
0.8080311417579651
0 references
0.8080311417579651
0 references
