On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    8 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoPRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)
    ToimittajatB Nebel, C Rich, W Swartout
    JulkaisupaikkaSan Mateo, CA
    Sivut627-638
    Sivumäärä12
    TilaJulkaistu - 1992
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Principles of Knowledge Representation and Reasoning - Cambridge, Yhdysvallat
    Kesto: 25 lokakuuta 199229 lokakuuta 1992
    Konferenssinumero: 3

    Conference

    ConferenceInternational Conference on Principles of Knowledge Representation and Reasoning
    LyhennettäKR
    MaaYhdysvallat
    KaupunkiCambridge
    Ajanjakso25/10/199229/10/1992

    Tutkimusalat

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

    Siteeraa tätä

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