Introducing Real Variables and Integer Objective Functions to Answer Set Programming (2013)
AUTHORS:
Liu Guohua,
Janhunen Tomi
,
Niemelä Ilkka
BOOKTITLE:
Kiel Declarative Programming Days 2013
SERIES:
Technical Report
VOLUME:
1306
PAGES:
93--107
URL:
http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf
@inproceedings{ LJN13:inap_ttj, editor = "Hanus, Michael and Rocha, Ricardo", author = {Liu, Guohua and Janhunen, Tomi and Niemel{\"a}, Ilkka}, series = "Technical Report", month = "September", il = "no", eventdetails = "20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Kiel, 11-13 September, 2013", year = "2013", owner = "OEK", title = "Introducing Real Variables and Integer Objective Functions to Answer Set Programming", booktitle = "Kiel Declarative Programming Days 2013", juforank = "NA", unitcode = "T306-99,T312-1", impactfactor = "A4", timestamp = "2013.12.10", responsibleauthor = {Liu, Guohua and Janhunen, Tomi and Niemel{\"a}, Ilkka}, address = "Kiel, Germany", kay = "NA", pages = "93--107", volume = "1306", publisher = {Christian-Albrechts-Universit????t zu Kiel, Institut f\"ur Informatik}, language = "eng", url = "http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf", country = "Germany", issn = "2192-6247", flags = "HIIT COIN copy" }