Syntax-Preserving Belief Change Operators for Logic Programs (Q4579961)
From MaRDI portal
scientific article; zbMATH DE number 6916526
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Syntax-Preserving Belief Change Operators for Logic Programs |
scientific article; zbMATH DE number 6916526 |
Statements
Syntax-Preserving Belief Change Operators for Logic Programs (English)
0 references
10 August 2018
0 references
logic program
0 references
answer set
0 references
belief change
0 references
strong equivalence
0 references
