Ghent University Academic Bibliography

Advanced

Efficient solving of time-dependent answer set programs

Timur Fayruzov UGent, Jeroen Janssen, Dirk Vermeir, Chris Cornelis UGent and Martine De Cock UGent (2010) LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS. 7. p.64-73
Please use this url to cite or link to this publication:
author
organization
year
type
conference
publication status
published
subject
in
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Leibniz Int. Proc. Inform.
editor
Manuel Hermenegildo and Torsten Schaub
volume
7
issue title
Technical communications of the 26th international conference on logic programming
pages
64 - 73
publisher
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
place of publication
Dagstuhl, Germany
conference name
26th International conference on Logic Programming (ICLP 2010)
conference location
Edinburgh, Scotland, UK
conference start
2010-07-16
conference end
2010-07-19
ISSN
1868-8969
ISBN
9783939897170
DOI
10.4230/LIPIcs.ICLP.2010.64
language
English
UGent publication?
yes
classification
C1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1108271
handle
http://hdl.handle.net/1854/LU-1108271
date created
2011-01-21 15:19:06
date last changed
2017-01-02 09:52:20
@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},
}

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.