Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Jürgen Dix, Ulrich Furbach, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoHandbook of Automated Reasoning
    ToimittajatA. Robinson, A. Voronkov
    JulkaisupaikkaAmsterdam
    KustantajaElsevier Science
    Sivut1241-1354
    VuosikertaVolume II
    ISBN (elektroninen)9780080532790
    DOI - pysyväislinkit
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Tutkimusalat

    • automated reasoning
    • logic programming
    • nonmonotonic logic

    Siteeraa tätä