Answer Set Programming: Foundations, Implementation Techniques, and Applications

Reference:

Ilkka Niemelä. Answer set programming: Foundations, implementation techniques, and applications. In Proceedings of the ICLP 2006 Workshop on Search and Logic: Answer Set Programming and SAT, page 35, 2006. Abstract of an invited talk.

Keywords:

Logic programming; Stable models; Constraints satisfaction

Suggested BibTeX entry:

@inproceedings{Niemela:LaSh06,
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the ICLP 2006 Workshop on Search and Logic: Answer Set Programming and SAT},
    note = {Abstract of an invited talk},
    pages = {35},
    title = {Answer Set Programming: Foundations, Implementation Techniques, and Applications},
    year = {2006},
}