On Uniform Equivalence of Epistemic Logic Programs (Q5108505)
From MaRDI portal
scientific article; zbMATH DE number 7196147
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Uniform Equivalence of Epistemic Logic Programs |
scientific article; zbMATH DE number 7196147 |
Statements
On Uniform Equivalence of Epistemic Logic Programs (English)
0 references
4 May 2020
0 references
logic programming
0 references
epistemic negation
0 references
non-monotonic reasoning
0 references
uniform equivalence
0 references
