Characterising relativised strong equivalence with projection for non-ground answer-set programs (Q2296744)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterising relativised strong equivalence with projection for non-ground answer-set programs |
scientific article |
Statements
Characterising relativised strong equivalence with projection for non-ground answer-set programs (English)
0 references
18 February 2020
0 references
answer-set programming
0 references
program equivalence
0 references
model-theoretic characterisations
0 references
