Cautious Autoepistemic Reasoning Applied to General Logic Programs

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

    Original languageEnglish
    Title of host publicationThe Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994
    EditorsM. Penttonen
    Place of PublicationJoensuu
    PublisherUniversity of Joensuu
    Publication statusPublished - 1994
    MoE publication typeA4 Article in a conference publication


    • autoepistemic logic
    • logic programming
    • well-founded semantics

    Cite this