Answer Set Programming by SAT Modulo Acyclicity (2014)
AUTHORS:
Gebser Martin
,
Janhunen Tomi
,
Rintanen Jussi
BOOKTITLE:
ECAI 2014. Proceedings of the 21st European Conference on Artificial Intelligence
PAGES:
351-356
PDF:
pdf/GebserJR14ecai.pdf
@inproceedings{ GebserJR04ecai, author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi", publisher = "IOS Press", responsibleauthor = "Janhunen, Tomi and Rintanen, Jussi", eventdetails = "European Conference on Artificial Intelligence, Prague, Czech Republic", language = "eng", title = "Answer Set Programming by {SAT} Modulo Acyclicity", booktitle = "ECAI 2014. Proceedings of the 21st European Conference on Artificial Intelligence", year = "2014", juforank = "1", flags = "COIN HIIT public TRITON copy", il = "no", isbn = "978-1-61499-418-3", pdf = "GebserJR14ecai.pdf", unitcode = "T306-99, T312-1", kay = "NA", impactfactor = "A4", pages = "351-356" }