On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationPRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)
    EditorsB Nebel, C Rich, W Swartout
    Place of PublicationSan Mateo, CA
    Pages627-638
    Number of pages12
    Publication statusPublished - 1992
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Principles of Knowledge Representation and Reasoning - Cambridge, United States
    Duration: 25 Oct 199229 Oct 1992
    Conference number: 3

    Conference

    ConferenceInternational Conference on Principles of Knowledge Representation and Reasoning
    Abbreviated titleKR
    CountryUnited States
    CityCambridge
    Period25/10/199229/10/1992

    Keywords

    • autoepistemic logic
    • automated theorem proving
    • default logic
    • logic programs
    • tractability
    • truth maintenance systems

    Cite this

    Niemelä, I., & RINTANEN, J. (1992). On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. In B. Nebel, C. Rich, & W. Swartout (Eds.), PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92) (pp. 627-638). San Mateo, CA.