Solving Alternating Boolean Equation Systems in Answer Set Programming

Misa Keinänen, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoApplications of Declarative Programming and Knowledge Management
    Alaotsikko15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
    ToimittajatD. Seipel, M. Hanus, U. Geske, O. Bartenstein
    Sivut134-148
    ISBN (elektroninen)978-3-540-32124-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaINTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT -
    Kesto: 1 tammik. 1900 → …

    Julkaisusarja

    NimiLecture Notes in Computer Science
    KustantajaSpringer Berlin Heidelberg
    Vuosikerta3392
    ISSN (painettu)0302-9743

    Conference

    ConferenceINTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
    LyhennettäINAP
    Ajanjakso01/01/1900 → …

    Tutkimusalat

    • Boolean equation systems

    Siteeraa tätä