Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equivalence Between Answer-Set Programs Under (Partially) Fixed Input |
scientific article |
Statements
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (English)
0 references
19 May 2016
0 references
