Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

Reference:

Ilkka Niemelä. Answer set programming: A declarative approach to solving challenging search problems. In Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic (ISMVL 2011), pages 139–141, Tuusula, Finland, May 2011. IEEE.

Suggested BibTeX entry:

@inproceedings{Niemela:ISMVL2011,
    address = {Tuusula, Finland},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic (ISMVL 2011)},
    month = {May},
    pages = {139--141},
    publisher = {IEEE},
    title = {Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems},
    year = {2011},
}

This work is not available online here.