Answer Set Programming: From Model Computation to Problem Solving

Reference:

Ilkka Niemelä. Answer set programming: From model computation to problem solving. In Proceedings of CADE-19 Workshop on Model Computation — Principles, Algorithms, Applications, Miami, Florida, USA, July 2003. Extended abstract of an invited talk.

Suggested BibTeX entry:

@inproceedings{Niemela03:models,
    address = {Miami, Florida, USA},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of CADE-19 Workshop on Model Computation --- Principles, Algorithms, Applications},
    month = {July},
    note = {Extended abstract of an invited talk},
    title = {Answer Set Programming: From Model Computation to Problem Solving},
    year = {2003},
}