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


    • autoepistemic logic
    • nonmonotonic reasoning
    • stratification
    • tractability

    Cite this