%0 Conference Paper %1 conf/ecai/GebserJR14 %A Gebser, Martin %A Janhunen, Tomi %A Rintanen, Jussi %B ECAI %D 2014 %E Schaub, Torsten %E Friedrich, Gerhard %E O'Sullivan, Barry %I IOS Press %K %P 351-356 %T Answer Set Programming as SAT modulo Acyclicity. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#GebserJR14 %V 263 %@ 978-1-61499-419-0

@inproceedings{conf/ecai/GebserJR14, added-at = {2023-12-14T15:55:25.000+0100}, author = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi}, biburl = {https://www.bibsonomy.org/bibtex/2b8ae613ed49e912fba264bd3516a79a5/admin}, booktitle = {ECAI}, crossref = {conf/ecai/2014}, editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry}, ee = {http://dx.doi.org/10.3233/978-1-61499-419-0-351}, interhash = {f13bea10ca361cecb7f2689b759783ba}, intrahash = {b8ae613ed49e912fba264bd3516a79a5}, isbn = {978-1-61499-419-0}, keywords = {}, pages = {351-356}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2023-12-14T15:55:25.000+0100}, title = {Answer Set Programming as SAT modulo Acyclicity.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#GebserJR14}, volume = 263, year = 2014 }