Computing Stable Models via Reductions to Difference Logic (2009)
AUTHORS:
Janhunen Tomi
,
Niemelä Ilkka
,
Sevalnev Mark
BOOKTITLE:
Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
SERIES:
Lecture Notes in Computer Science
VOLUME:
5753
PAGES:
142--154
URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_14
INTERNALPDF:
internalpdf/JNS-LPNMR2009.pdf
@inproceedings{ JNS:LPNMR2009, author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Sevalnev, Mark}, title = "Computing Stable Models via Reductions to Difference Logic", url = "http://dx.doi.org/10.1007/978-3-642-04238-6_14", series = "Lecture Notes in Computer Science", booktitle = "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009", volume = "5753", flags = "MCM copy", year = "2009", internalpdf = "JNS-LPNMR2009.pdf", pages = "142--154" }