Modular Equivalence in General

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

    Original languageEnglish
    Title of host publicationThe 18th European Conference on Artificial Intelligence Patras, Greece, July 21-25, 2008
    EditorsMalik Ghallab, Constantine Spyropoulos, Nikos Fakotakis, Nikos Avouris
    PublisherIOS PRESS
    Pages75-79
    ISBN (Print)978-1-58603-891-5
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    PublisherIOS Press
    ISSN (Print)0922-6389

    Keywords

    • answer set programming
    • equivalence
    • hybrid representations
    • modularity
    • propositional satisfiability
    • translation functions

    Cite this