Lloyd-Topor completion and general stable models (Q5398291)
From MaRDI portal
scientific article; zbMATH DE number 6262122
Language | Label | Description | Also known as |
---|---|---|---|
English | Lloyd-Topor completion and general stable models |
scientific article; zbMATH DE number 6262122 |
Statements
Lloyd-Topor completion and general stable models (English)
0 references
27 February 2014
0 references
Lloyd-Topor program
0 references
Gamma-tight program
0 references
completion
0 references
general stable models
0 references