Computing Stable Models via Reductions to Difference Logic

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

    33 Citations (Scopus)
    Original languageEnglish
    Title of host publicationLogic Programming and Nonmonotonic Reasoning
    Subtitle of host publication10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
    EditorsEsra Erdem, Fangzhen Lin, Torsten Schaub
    Pages142-154
    ISBN (Electronic)978-3-642-04238-6
    DOIs
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany
    Duration: 14 Sep 200918 Sep 2009
    Conference number: 10

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag Berlin Heidelberg
    Volume5753
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
    Abbreviated titleLPNMR
    CountryGermany
    CityPotsdam
    Period14/09/200918/09/2009

    Keywords

    • answer set programming
    • benchmarking
    • difference logic
    • stable model semantics
    • translation

    Cite this

    Janhunen, T., Niemelä, I., & Sevalnev, M. (2009). Computing Stable Models via Reductions to Difference Logic. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings (pp. 142-154). (Lecture Notes in Computer Science ; Vol. 5753). https://doi.org/10.1007/978-3-642-04238-6_14