Answer Set Programming: an Approach to Declarative Problem Solving

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


    Extended abstract of a key note talk.
    Original languageEnglish
    Title of host publicationThe Eighth Scandinavian Conference on Artificial Intelligence (SCAI '03), Bergen, Norway, 2.-4.11.2003
    EditorsBjornar Tessem, Pekka Ala-Siuru, Patrick Doherty, Brian Mayoh
    Place of PublicationAmsterdam
    PublisherIOS PRESS
    ISBN (Print)1586033905
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication


    • constraint satisfaction
    • knowledge representation
    • stable models

    Cite this