On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

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

    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
    PublisherMorgan Kaufmann Publishers
    Pages627-638
    Number of pages12
    ISBN (Print)1-55860-262-3
    Publication statusPublished - 1992
    MoE publication typeA4 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
    Country/TerritoryUnited States
    CityCambridge
    Period25/10/199229/10/1992

    Keywords

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

    Cite this