Stable model semantics for founded bounds (Q5398292)
From MaRDI portal
scientific article; zbMATH DE number 6262123
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stable model semantics for founded bounds |
scientific article; zbMATH DE number 6262123 |
Statements
Stable model semantics for founded bounds (English)
0 references
27 February 2014
0 references
answer set programming
0 references
stable model semantics
0 references
finite domain solving
0 references
