Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Matti Järvisalo, Emilia Oikarinen

    Research output: Contribution to journalArticleScientificpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)691-716
    JournalTheory and Practice of Logic Programming
    Volume8
    Issue number5-6
    Publication statusPublished - 2008
    MoE publication typeA1 Journal article-refereed

    Keywords

    • Answer set programming
    • extension rule
    • problem structure
    • proof complexity
    • tableau method

    Cite this