On the Decidability and Complexity of Autoepistemic Reasoning

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Sivut117-155
    JulkaisuFundamenta Informaticae
    Vuosikerta17
    Numero1-2
    TilaJulkaistu - 1992
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • computational complexity
    • decidability
    • nonmonotonic logics

    Siteeraa tätä