Guohua Liu, Tomi Janhunen, Ilkka Niemelä. Introducing Real Variables and Integer Objective Functions to Answer Set Programming. In Michael Hanus, Ricardo Rocha, editors, Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Volume 8439 of Lecture Notes in Computer Science, pages 118-135, Springer, 2013. [doi]
@inproceedings{LiuJN13,
title = {Introducing Real Variables and Integer Objective Functions to Answer Set Programming},
author = {Guohua Liu and Tomi Janhunen and Ilkka Niemelä},
year = {2013},
doi = {10.1007/978-3-319-08909-6_8},
url = {http://dx.doi.org/10.1007/978-3-319-08909-6_8},
researchr = {https://researchr.org/publication/LiuJN13},
cites = {0},
citedby = {0},
pages = {118-135},
booktitle = {Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers},
editor = {Michael Hanus and Ricardo Rocha},
volume = {8439},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-08908-9},
}