Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationCorrect Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
    EditorsEsra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
    Place of PublicationBerlin
    Pages363-379
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA3 Part of a book or another research book

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume7265
    ISSN (Print)0302-9743

    Cite this

    Janhunen, T., & Niemelä, I. (2012). Applying Visible Strong Equivalence in Answer-Set Program Transformations. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz (pp. 363-379). (Lecture Notes in Computer Science; Vol. 7265). Berlin. https://doi.org/10.1007/978-3-642-30743-0_24