Strong Equivalence of Logic Programs with Abstract Constraint Atoms

Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You

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

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning. LPNMR 2011
    EditorsJames Delgrande, Wolfgang Faber
    Pages161-173
    ISBN (Electronic)978-3-642-20895-9
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Vancouver, Canada
    Duration: 16 May 201119 May 2011
    Conference number: 11

    Publication series

    NameLecture Notes in Computer Science
    PublisherSPRINGER-VERLAG BERLIN
    Volume6645
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
    Abbreviated titleLPNMR
    CountryCanada
    CityVancouver
    Period16/05/201119/05/2011

    Cite this