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