Thirty years of Epistemic Specifications (Q6085582): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:03, 10 July 2024
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