Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (Q5056424)
From MaRDI portal
scientific article; zbMATH DE number 7629039
Language | Label | Description | Also known as |
---|---|---|---|
English | Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity |
scientific article; zbMATH DE number 7629039 |
Statements
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (English)
0 references
8 December 2022
0 references
answer set programming
0 references
stable models
0 references
complexity
0 references
decidability
0 references