Decision problem in autoepistemic logic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the Workshop on Alternatives of Logic Programming, Kuopio, Finland, May 1989
    PublisherKuopion yliopisto
    Pages174-188
    Publication statusPublished - 1989
    MoE publication typeA4 Article in a conference publication

    Cite this