Advanced search
1 file | 418.21 KB

Efficient solving of time-dependent answer set programs

Author
Organization

Downloads

  • Fayruzov 2010 LIPI 7 64.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 418.21 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Fayruzov, Timur, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, and Martine De Cock. 2010. “Efficient Solving of Time-dependent Answer Set Programs.” In Leibniz International Proceedings in Informatics, ed. Manuel Hermenegildo and Torsten Schaub, 7:64–73. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
APA
Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C., & De Cock, M. (2010). Efficient solving of time-dependent answer set programs. In M. Hermenegildo & T. Schaub (Eds.), LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS (Vol. 7, pp. 64–73). Presented at the 26th International conference on Logic Programming (ICLP 2010), Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
Vancouver
1.
Fayruzov T, Janssen J, Vermeir D, Cornelis C, De Cock M. Efficient solving of time-dependent answer set programs. In: Hermenegildo M, Schaub T, editors. LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik; 2010. p. 64–73.
MLA
Fayruzov, Timur, Jeroen Janssen, Dirk Vermeir, et al. “Efficient Solving of Time-dependent Answer Set Programs.” Leibniz International Proceedings in Informatics. Ed. Manuel Hermenegildo & Torsten Schaub. Vol. 7. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010. 64–73. Print.
@inproceedings{1108271,
  author       = {Fayruzov, Timur and Janssen, Jeroen and Vermeir, Dirk and Cornelis, Chris and De Cock, Martine},
  booktitle    = {LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS},
  editor       = {Hermenegildo, Manuel and Schaub, Torsten},
  isbn         = {9783939897170},
  issn         = {1868-8969},
  language     = {eng},
  location     = {Edinburgh, Scotland, UK},
  pages        = {64--73},
  publisher    = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
  title        = {Efficient solving of time-dependent answer set programs},
  url          = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.64},
  volume       = {7},
  year         = {2010},
}

Altmetric
View in Altmetric