Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    9 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoThe 1st International Conference on Computational Logic, CL 2000, London, UK, July 2000
    ToimittajatJ. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv
    JulkaisupaikkaBerlin, Germany
    Sivut852-866
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • logic programs
    • stable model semantics

    Siteeraa tätä