On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

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

Researchers

Research units

Details

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
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

    Research areas

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

ID: 4372583