Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting (Q5108495)
From MaRDI portal
scientific article; zbMATH DE number 7196138
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting |
scientific article; zbMATH DE number 7196138 |
Statements
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting (English)
0 references
4 May 2020
0 references
answer set programming
0 references
epistemic specifications
0 references
epistemic logic programs
0 references
