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