A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer-set Programming (2005)

by T Eiter, G Ianni, R Schindlauer, H Tompits
Venue:In Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI’05