Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 90-96, Professional Book Center, 2005. [doi]
@inproceedings{EiterIST05,
title = {A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming},
author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits},
year = {2005},
url = {http://www.ijcai.org/papers/1353.pdf},
tags = {programming},
researchr = {https://researchr.org/publication/EiterIST05},
cites = {0},
citedby = {0},
pages = {90-96},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005},
editor = {Leslie Pack Kaelbling and Alessandro Saffiotti},
publisher = {Professional Book Center},
isbn = {0938075934},
}