Stratification and Tractability in Nonmonotonic Reasoning

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    AlkuperäiskieliEnglanti
    JulkaisupaikkaEspoo
    TilaJulkaistu - 1992
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiDigital Systems Laboratory, Series A: Research Reports
    KustantajaHelsinki University of Technology
    Numero20

    Tutkimusalat

    • autoepistemic logic
    • nonmonotonic reasoning
    • stratification
    • tractability

    Siteeraa tätä

    Rintanen, J. (1992). Stratification and Tractability in Nonmonotonic Reasoning. (Digital Systems Laboratory, Series A: Research Reports; Nro 20).