Solving Alternating Boolean Equation Systems in Answer Set Programming

Misa Keinänen, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationApplications of Declarative Programming and Knowledge Management
    Subtitle of host publication15th 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
    EditorsD. Seipel, M. Hanus, U. Geske, O. Bartenstein
    Pages134-148
    ISBN (Electronic)978-3-540-32124-8
    DOIs
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication
    EventINTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT -
    Duration: 1 Jan 1900 → …

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume3392
    ISSN (Print)0302-9743

    Conference

    ConferenceINTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
    Abbreviated titleINAP
    Period01/01/1900 → …

    Keywords

    • Boolean equation systems

    Cite this

    Keinänen, M., & Niemelä, I. (2005). Solving Alternating Boolean Equation Systems in Answer Set Programming. In D. Seipel, M. Hanus, U. Geske, & O. Bartenstein (Eds.), Applications of Declarative Programming and Knowledge Management : 15th 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 (pp. 134-148). (Lecture Notes in Computer Science ; Vol. 3392). https://doi.org/10.1007/11415763_9