Introducing Real Variables and Integer Objective Functions to Answer Set Programming

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]

Authors

Guohua Liu

This author has not been identified. Look up 'Guohua Liu' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Ilkka Niemelä

This author has not been identified. Look up 'Ilkka Niemelä' in Google