Extending the Smodels system with cardinality and weight constraints

Ilkka Niemelä, Patrik Simons

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoLogic-Based Artificial Intelligence
    ToimittajatJ. Minker
    JulkaisupaikkaBoston MA, USA
    Sivut491-521
    ISBN (elektroninen)978-1-4615-1567-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Julkaisusarja

    NimiThe Springer International Series in Engineering and Computer Science
    KustantajaSpringer US
    Vuosikerta597
    ISSN (painettu)0893-3405

    Tutkimusalat

    • logic programming
    • stable model semantics

    Siteeraa tätä