Answer Set Programming: Foundations, Implementation Techniques, and Applications

    Research output: Contribution to conferenceAbstractScientificpeer-review

    Abstract

    Abstract of an invited talk.
    Original languageEnglish
    Pages35
    Publication statusPublished - 2006
    EventWorkshop on Search and Logic: Answer Set Programming and SAT - Seattle, United States
    Duration: 16 Aug 200616 Aug 2006

    Workshop

    WorkshopWorkshop on Search and Logic
    CountryUnited States
    CitySeattle
    Period16/08/200616/08/2006

    Keywords

    • Constraints satisfaction
    • Logic programming
    • Stable models

    Cite this