A Versatile Intermediate Language for Answer Set Programming

Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, Sven Thiele

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

    Original languageEnglish
    Title of host publicationThe 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008
    EditorsMaurice Pagnucco, Michael Thielscher
    Place of PublicationSydney, Australia
    PublisherUniversity of New South Wales
    Pages150-159
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameTechnical Report
    PublisherUniversity of New South Wales School of Computer Science and Engineering
    NumberUNSW-CSE-TR-0819

    Keywords

    • answer set programming
    • file formats
    • language design

    Cite this