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

    Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming. In M. Pagnucco, & M. Thielscher (Eds.), The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008 (pp. 150-159). (Technical Report; No. UNSW-CSE-TR-0819). Sydney, Australia: University of New South Wales.