Applying Visible Strong Equivalence in Answer-Set Program Transformations

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

    8 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