Integrating Answer Set Programming and Satisfiability Modulo Theories

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

    Original languageEnglish
    Title of host publicationThe 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
    Pages3-3
    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
    Volume5753

    Conference

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

    Cite this