A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944)

From MaRDI portal
scientific article; zbMATH DE number 7350051
Language Label Description Also known as
English
A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
scientific article; zbMATH DE number 7350051

    Statements

    A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (English)
    0 references
    0 references
    20 May 2021
    0 references
    nonmonotonic reasoning
    0 references
    minimal model semantics
    0 references
    autoepistemic logic
    0 references
    equilibrium logic
    0 references
    answer set programming
    0 references
    epistemic specifications
    0 references
    monotonic modal logic
    0 references
    Kripke model
    0 references

    Identifiers