Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13 2007. Proceedings

Verónica Dahl (Editor), Ilkka Niemelä (Editor)

    Research output: Book/ReportAnthologyScientificpeer-review

    Original languageEnglish
    Place of PublicationBerlin
    Number of pages470
    ISBN (Electronic)978-3-540-74610-2
    DOIs
    Publication statusPublished - 2007
    MoE publication typeC2 Edited books

    Publication series

    Name Lecture Notes in Computer Science
    Volume4670
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • answer set programming
    • applications
    • constraint logic programming
    • logic programming
    • program analysis
    • semantics

    Cite this