A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521)
From MaRDI portal
scientific article; zbMATH DE number 7196160
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Syntactic Operator for Forgetting that Satisfies Strong Persistence |
scientific article; zbMATH DE number 7196160 |
Statements
A Syntactic Operator for Forgetting that Satisfies Strong Persistence (English)
0 references
4 May 2020
0 references
answer set programming
0 references
forgetting
0 references
strong persistence
0 references
syntactic operator
0 references
0 references
0 references
