Layerings of logic programs -- layer decomposable semantics and incremental model computation (Q6175110)
From MaRDI portal
scientific article; zbMATH DE number 7729478
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Layerings of logic programs -- layer decomposable semantics and incremental model computation |
scientific article; zbMATH DE number 7729478 |
Statements
Layerings of logic programs -- layer decomposable semantics and incremental model computation (English)
0 references
17 August 2023
0 references
logic programs
0 references
layerings
0 references
model computation
0 references
stratification
0 references
