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