Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q5034221)
From MaRDI portal
scientific article; zbMATH DE number 7480987
Language | Label | Description | Also known as |
---|---|---|---|
English | Applying Visible Strong Equivalence in Answer-Set Program Transformations |
scientific article; zbMATH DE number 7480987 |
Statements
Applying Visible Strong Equivalence in Answer-Set Program Transformations (English)
0 references
24 February 2022
0 references
stable models
0 references
auxiliary atoms
0 references
hidden atoms
0 references
normalization
0 references
program transformations
0 references
strong equivalence
0 references