%0 Conference Paper %1 conf/iclp/FayruzovJVCC10 %A Fayruzov, Timur %A Janssen, Jeroen %A Vermeir, Dirk %A Cornelis, Chris %A Cock, Martine De %B ICLP (Technical Communications) %D 2010 %E Hermenegildo, Manuel V. %E Schaub, Torsten %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 64-73 %T Efficient Solving of Time-dependent Answer Set Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#FayruzovJVCC10 %V 7 %@ 978-3-939897-17-0

@inproceedings{conf/iclp/FayruzovJVCC10, added-at = {2022-10-02T00:00:00.000+0200}, author = {Fayruzov, Timur and Janssen, Jeroen and Vermeir, Dirk and Cornelis, Chris and Cock, Martine De}, biburl = {https://www.bibsonomy.org/bibtex/2d6ba5b3ee7a96f5c6a96077c7ca11b9c/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2010}, editor = {Hermenegildo, Manuel V. and Schaub, Torsten}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2010.64}, interhash = {9cc8a0c6646c945c222fcf6b2d2855d6}, intrahash = {d6ba5b3ee7a96f5c6a96077c7ca11b9c}, isbn = {978-3-939897-17-0}, keywords = {dblp}, pages = {64-73}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T03:46:41.000+0200}, title = {Efficient Solving of Time-dependent Answer Set Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#FayruzovJVCC10}, volume = 7, year = 2010 }