Stratification and Tractability in Nonmonotonic Reasoning

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 1992
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory, Series A: Research Reports
    PublisherHelsinki University of Technology
    No.20

    Keywords

    • autoepistemic logic
    • nonmonotonic reasoning
    • stratification
    • tractability

    Cite this

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