Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882)

From MaRDI portal
scientific article; zbMATH DE number 7776343
Language Label Description Also known as
English
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
scientific article; zbMATH DE number 7776343

    Statements

    Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (English)
    0 references
    0 references
    0 references
    12 December 2023
    0 references
    approximation fixpoint theory
    0 references
    hybrid MKNF knowledge bases
    0 references
    logic programs
    0 references
    answer-set semantics
    0 references
    description logics
    0 references
    inconsistencies
    0 references
    0 references
    0 references
    0 references

    Identifiers

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