Thirty years of Epistemic Specifications (Q6085582)
From MaRDI portal
scientific article; zbMATH DE number 7776354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Thirty years of Epistemic Specifications |
scientific article; zbMATH DE number 7776354 |
Statements
Thirty years of Epistemic Specifications (English)
0 references
12 December 2023
0 references
answer set programming
0 references
epistemic logic programs
0 references
epistemic specifications
0 references
epistemic reasoning
0 references
autopistemic logic
0 references
