Characterising relativised strong equivalence with projection for non-ground answer-set programs (Q2296744)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Characterising relativised strong equivalence with projection for non-ground answer-set programs |
scientific article; zbMATH DE number 7169130
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Characterising relativised strong equivalence with projection for non-ground answer-set programs |
scientific article; zbMATH DE number 7169130 |
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
0.8486509919166565
0 references
0.8140640258789062
0 references
0.8092046976089478
0 references
0.8032059669494629
0 references
0.8014227151870728
0 references
