What's a Head without a Body?

Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub

    Research output: Working paperProfessional

    7 Citations (Scopus)
    Original languageEnglish
    Place of PublicationNetherlands
    Pages769-770
    Publication statusPublished - 2006
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameThe 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29 - September 1, 2006
    PublisherIOS Press

    Keywords

    • answer set programming
    • proof complexity

    Cite this