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
    0 references
    0 references
    0 references
    0 references
    8 December 2022
    0 references
    answer set programming
    0 references
    stable models
    0 references
    complexity
    0 references
    decidability
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references