Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473)
From MaRDI portal
scientific article; zbMATH DE number 7595335
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective |
scientific article; zbMATH DE number 7595335 |
Statements
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (English)
0 references
30 September 2022
0 references
ordered disjunction
0 references
strong equivalence
0 references
logic of here-and-there
0 references
answer sets
0 references
0 references
