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},
}
|