Autoepisteeminen logiikka epämonotonisen päättelyn pohjana

    Research output: Contribution to journalArticleScientific

    Original languageFinnish
    Pages (from-to)15-25
    JournalTietojenkäsittelytiede
    Issue number6
    Publication statusPublished - 1994
    MoE publication typeB1 Article in a scientific magazine

    Keywords

    • autoepistemic logic
    • automated reasoning
    • computational complexity
    • nonmonotonic reasoning

    Cite this