Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version |
scientific article |
Statements
Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (English)
0 references
29 April 2022
0 references
answer set programming
0 references
combinatorial optimization problems
0 references
parity aggregate operator
0 references
